private void genGetLength(String typeName) { String decl = "int " + prefix + "get" + typeName + "Length (" + typeName + " arg)";
private void genGetLength(String typeId, String typeName) { String decl = "int " + prefix + "get" + typeId + "Length (" + typeName + " arg)";
	private void genGetLength(String typeName) {		String decl = "int " + prefix + "get" + typeName + "Length (" + typeName + " arg)";				hprintln(decl + ";");		println(decl + " {");		println("  return ATgetLength((ATermList) arg);");		println("}");	}