a=0; while(++a<20){ print(a); dump; }	/* check cleanup(0) */
