static RacketPair getRP(ObjBox val) { return((RacketPair)val.getObj()); }
static int getVal(ObjBox val) { RacketInt rint = (RacketInt)val.getObj(); return(rint.value); }