private void genGetElementAt(String typeName, String elementTypeName) { String decl = elementTypeName + " " + prefix + "get" + typeName + elementTypeName + "At(" + typeName + " arg, int index)";
private void genGetElementAt(String typeId, String typeName, String elementTypeId, String elementTypeName) { String decl = elementTypeName + " " + prefix + "get" + typeId + elementTypeId + "At(" + typeName + " arg, int index)";
	private void genGetElementAt(String typeName, String elementTypeName) {		String decl = elementTypeName + " " + prefix + "get" + typeName + elementTypeName + "At(" + typeName + " arg, int index)";		hprintln(decl + ";");		println(decl +" {");		println(" return (" + elementTypeName + ") ATelementAt((ATermList) arg, index);");		println("}");	}