function s=tostring(a)
	s=sprintf('buffer(%s,%d)',tostring(a.base),a.width);
