String image() {  String s = proc.getName(); int j = s.lastIndexOf('$'); if (j >= 0) { j = j + 1; } else { j = 0; }  if (s.charAt(0) == 'p') { return "procedure " + s.substring(j); } else { return "function " + s.substring(j); } }
String image()	{ return img; }
	String image() {		String s = proc.getName();		int j = s.lastIndexOf('$');		if (j >= 0) {                    j = j + 1;                } else {                    j = 0;		}		if (s.charAt(0) == 'p') {			return "procedure " + s.substring(j);		} else {			return "function " + s.substring(j);		}	}