private void genListMake(int arity, String typeName, String elementTypeName) { String decl = typeName + " " + prefix + "make" + typeName + arity + "(";
private void genListMake(int arity, String typeId, String typeName, String elementTypeId, String elementTypeName) { String decl = typeName + " " + prefix + "make" + typeId + arity + "(";
	private void genListMake(int arity, String typeName, String elementTypeName) {		String decl = typeName + " " + prefix + "make" + typeName + arity + "(";		for (int i = 1; i < arity; i++) {			decl = decl + elementTypeName + " elem" + i + ", ";		}		decl = decl + elementTypeName + " elem" + arity + ")";		hprintln(decl + ";");		println(decl + " {");		print("  return (" + typeName + ") ATmakeList" + arity + "(");				for (int i = 1; i < arity; i++) {			print("(ATerm) elem" + i + ", ");		}		println("(ATerm) elem" + arity + ");");		println("}");	}