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