private void writeAppRun(int FORMAT, int run, byte[] app)
private void writeAppRun(int FORMAT, int run, byte[] app, int 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  }