dumpMethods();
if (verbose>=6) { dumpMethods(); }
        public void notifyExit(int value) { 	  if(verbose>=1) VM.sysWriteln("VM_HPMs.notifyExit(",value,")");	  if (hpm_thread_group) {	    stopAndReport_MyGroup();	  } else {	    if(verbose>=0) {	      stopUpdateResetAndReport(); 	    } else {	      stopUpdateAndReset();	    }	  }	  //BEGIN HRM	  dumpMethods();	  //END HRM	  if(verbose>=1) VM.sysWriteln("VM_HPMs.notifyExit(",value,") finished");        }