private void genReplaceElementAt(String typeName, String elementTypeName) { String decl = typeName + " " + prefix + "replace" + typeName + elementTypeName + "At(" + typeName + " arg, " + elementTypeName + " elem, int index)";
private void genReplaceElementAt(String typeId, String typeName, String elementTypeId, String elementTypeName) { String decl = typeName + " " + prefix + "replace" + typeId + elementTypeId + "At(" + typeName + " arg, " + elementTypeName + " elem, int index)";
	private void genReplaceElementAt(String typeName, String elementTypeName) {		String decl = typeName + " " + prefix + "replace" + typeName + elementTypeName + "At(" + typeName + " arg, " + elementTypeName + " elem, int index)";		hprintln(decl + ";");		println(decl +" {");		println(" return (" + typeName + ") ATreplace((ATermList) arg, (ATerm) elem, index);");		println("}");	}