function s=tostring(a)
		s=sprintf('switch(%s)',tostring(a.base));
