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