4647484950515253545556
String s = ((Const) getArg(0)).getName(); int i = getIntArg(1); Term T; if (i == 0) { T = p.getBuiltins().toBuiltin(new Const(s)); } else { Fun F = new Fun(s); F.init(i);