+ // JS:FIXME: Everything below here should come from js.scope or something
+ public void put(JS key, JS val) throws JSExn { if(box != null) box.putAndTriggerTraps(key,val); else super.put(key,val); }
+ public void addTrap(JS key, JS f) throws JSExn { box.addTrap(key,f); }
+ public void delTrap(JS key, JS f) throws JSExn { box.delTrap(key,f); }