def op_instanceof(inst, INST): return ootype.instanceof(inst, INST)
def instanceof(box): if isinstance(TYPE, ootype.Instance): obj = box.getref(ootype.ROOT) return BoxInt(ootype.instanceof(obj, TYPE)) return None