public static Object debug_handler( bexception v, exit tag ) { if (tag.userp == 0) { //print( "** PROTECT " + v + " " + tag ); return v.value; } if (v.tag == tag) { // print( "** TAG reached " + v + " " + tag ); return v.value; } // print( "** TAG forward " + v + " " + tag ); throw v; }