if (a=next()) { push(a); while (a=next()) push(cat(",",a)); }