if (VM_HardwarePerformanceMonitors.verbose>=3) { VM.sysWrite  ("writeAppRun(",FORMAT,", ",run); VM.sysWrite  (") n_records ",n_records); VM.sysWriteln(", missed ",missed_records); } if (padding != 0) { addPadding(padding); }
  private void writeAppRun(int FORMAT, int run, byte[] app)  {    VM_Magic.setIntAtOffset( buffer, index, FORMAT);					// format    index += VM_HardwarePerformanceMonitors.SIZE_OF_INT;        VM_Magic.setIntAtOffset( buffer, index, run);					// run    index += VM_HardwarePerformanceMonitors.SIZE_OF_INT;        index = VM_HardwarePerformanceMonitors.writeStringToBuffer(buffer, index, app);	// app name  }