void do_oop(oop* o) { oop obj = *o; if (!obj->verify()) { lprintf("Verify failed in frame:\n"); fr->print(); } }