String image() { return "record " + name + "()"; }
String image()	{ return "record " +name +"_" +snum +"(" +values.length +")"; }
	String image() {		return "record " + name + "()";	//#%#% needs serial number etc	}