public static Object PUSH_EXIT( exit v, int protect ) { //print( "** PUSH " + v + " " + protect ); v.userp= protect; v.prev= (exit)bgldynamic.abgldynamic.get().exitd_top; bgldynamic.abgldynamic.get().exitd_top= v; return unspecified._unspecified; }