424344454647484950
*/ @Override public int exec(Prog p) { Source S = (Source) getArg(0); Term Xs = p.getBuiltins().toBuiltin(((Const) S.toFun())); return putArg(1, Xs, p); } }