373839404142434445
@Override public int exec(Prog p) { Var X = (Var) getArg(0); MultiVar V = new MultiVar(getArg(1), p); X.bindTo(V, p.getTrail()); return 1; } }