// FIXME: HACK!
if (key.equals("cascade")) return org.xwt.Trap.cascadeFunction;
if (key.equals("trapee")) return org.xwt.Trap.currentTrapee();
+ if (key.equals("trapname")) return org.xwt.Trap.currentTrapname();
if (key.equals("length")) return new Long(vec.size());
if (key.equals("push")) return new JS.Callable() {
public Object call(JS.Array args) {