obj_to_let
lets[ct++] = obj_to_let(uleft);
lets[ct++] = obj_to_let(uright);
pline("%s", xprname(obj, obj_to_let(obj)));
lets[ct++] = obj_to_let(uarm);
lets[ct++] = obj_to_let(uarm2);
lets[ct++] = obj_to_let(uarmh);
lets[ct++] = obj_to_let(uarms);
lets[ct++] = obj_to_let(uarmg);