printDocReturn(elementTypeName + " at position |index| in |arg|");
printDocReturn(elementTypeName + " at position #index in #arg");
	private void genGetElementAt(ListType type, String typeId, String typeName,			String elementTypeId, String elementTypeName, String index) {		// TODO: remove superfluous arguments		String conversion = genATermToBuiltin(type.getElementType(),				"ATelementAt((ATermList) arg," + index + ")");		String decl = elementTypeName + " " + prefix + "get" + typeId				+ elementTypeId + "At(" + typeName + " arg, int index)";		hprintln(decl + ";");		printDocHead("Retrieve the " + elementTypeName + " at |index| from a " + typeName, "");		printDocArg("arg", typeName + " to retrieve the " + elementTypeName + " from");		printDocArg("index", "index to use to point in the " + typeName);		printDocReturn(elementTypeName + " at position |index| in |arg|");		printDocTail();		println(decl + " {");		println(" return (" + elementTypeName + ")" + conversion + ";");		println("}");		println();	}