printDocReturn("new " + typeName + " with a first element the element at index |start| from |arg|, and as last element the element at index (|end| - 1).");
printDocReturn("new " + typeName + " with a first element the element at index #start from #arg, and as last element the element at index (#end - 1).");
	private void genSlice(String typeId, String typeName, String startIndex,			String endIndex) {		String decl = typeName + " " + prefix + "slice" + typeId + "("				+ typeName + " arg, int start, int end)";		hprintln(decl + ";");		printDocHead("Extract a sublist from a " +  typeName, "");		printDocArg("arg", typeName + " to extract a slice from");		printDocArg("start", "inclusive start index of the sublist");		printDocArg("end", "exclusive end index of the sublist");		printDocReturn("new " + typeName + " with a first element the element at index |start| from |arg|, and as last element the element at index (|end| - 1).");		printDocTail();				println(decl + " {");		println("  return (" + typeName + ") ATgetSlice((ATermList) arg, "				+ startIndex + ", " + endIndex + ");");		println("}");		println();	}