private void genConcat(String typeName) { String decl = typeName + " " + prefix + "concat" + typeName + "(" + typeName + " arg0, " + typeName + " arg1)";
private void genConcat(String typeId, String typeName) { String decl = typeName + " " + prefix + "concat" + typeId + "(" + typeName + " arg0, " + typeName + " arg1)";
	private void genConcat(String typeName) {	   String decl = typeName + " " + prefix + "concat" + typeName + "(" + typeName + " arg0, " + typeName + " arg1)";	   hprintln(decl + ";");	   println(decl + " {");	   println("  return (" + typeName + ") ATconcat((ATermList) arg0, (ATermList) arg1);");	   println("}");	}