function s=tostring(a)
	s=sprintf('loop1(%s)',tostring(a.init));
