header_trace_file.write(buffer, 0, length);
header_trace_file.write(buffer, 0, length.toInt());
  static private synchronized void writeHeaderFileOutputStream(byte[] buffer, int length)  {    if(verbose>=8)VM.sysWriteln("VM_HPMs.writeHeaderFileOutputStream(buffer, 0, ",length,")");    if (length <= 0) return;    if (header_trace_file == null) {    // constraint      VM.sysWriteln("\n***VM_HPMs.writeHeaderFileOutputStream() header_trace_file == null!  Call VM.shutdown(VM.EXIT_STATUS_HPM_TROUBLE)***");      VM.shutdown(VM.EXIT_STATUS_HPM_TROUBLE);    }    try {      header_trace_file.write(buffer, 0, length);    } catch (IOException e) {      VM.sysWriteln("***VM_HPMs.writeHeaderFileOutputStream(",length,") throws IOException!***");      e.printStackTrace(); VM.shutdown(VM.EXIT_STATUS_HPM_TROUBLE);    }  }