VM_HardwarePerformanceMonitor hpm = (VM_HardwarePerformanceMonitor)producer;
  public void notifyExit(int value)  {    if (VM_HardwarePerformanceMonitors.hpm_trace) {      if(VM_HardwarePerformanceMonitors.verbose>=2) { 	VM.sysWriteln("VM_TraceWriter.notifyExit(",value,") PID ",pid);       }      if (trace_file == null) {	VM.sysWriteln("\n***VM_TraceWriter.notifyExit() PID ",pid," trace_file == null! notifyStartup never called!***\n");	VM.sysExit(-1);      }      VM_HardwarePerformanceMonitor hpm = (VM_HardwarePerformanceMonitor)producer;      // don't collect any more trace records!      hpm.passivate();      // when convenient close trace file!      hpm.notifyExit(value);    }  }