return "procedure " + s.substring(2);
return "procedure " + s.substring(j);
	String image() {		String s = proc.getName();		//#%#%# this code has guilty knowledge of internals of others		if (s.charAt(0) == 'p') {			return "procedure " + s.substring(2);		} else {			return "function " + s.substring(6);		}	}