VM.shutdown(VM.exitStatusHPMTrouble);
VM.shutdown(VM.EXIT_STATUS_HPM_TROUBLE);
  static private void openFileOutputStream(String header_trace_filename)  {    if(verbose>=2)VM.sysWriteln("VM_HPMs.openFileOutputStream(",header_trace_filename,")");        if (header_trace_file != null) {	// constraint      VM.sysWriteln("***VM_HPMs.openFileOutputStream(",header_trace_filename,") header_trace_file != null!***");            VM.shutdown(VM.exitStatusHPMTrouble);    }        try {      header_trace_file = new FileOutputStream(header_trace_filename);    } catch (FileNotFoundException e) {      VM.sysWriteln("***VM_HPMs.openFileOutputStream() FileNotFound exception with new FileOutputStream(",header_trace_filename,")");      VM.shutdown(VM.exitStatusHPMTrouble);    } catch (SecurityException e) {      VM.sysWriteln("***VM_HPMs.openFileOutputStream() Security exception with new FileOutputStream(",header_trace_filename,")");      VM.shutdown(VM.exitStatusHPMTrouble);    }   }