function s=tostring(a)
	s=sprintf('arrf(%s)',tostring(a.fn));
