private void genSlice(String typeName) { String decl = typeName + " " + prefix + "slice" + typeName + "(" + typeName + " arg, int start, int end)";
private void genSlice(String typeId, String typeName) { String decl = typeName + " " + prefix + "slice" + typeId + "(" + typeName + " arg, int start, int end)";
	private void genSlice(String typeName) {		String decl = typeName + " " + prefix + "slice" + typeName + "(" + typeName + " arg, int start, int end)";		hprintln(decl + ";");		println(decl + " {");		println("  return (" + typeName + ") ATgetSlice((ATermList) arg, start, end);");		println("}");	}