private static char[] grabDumpBuffer() {
public static char[] grabDumpBuffer() {
  private static char[] grabDumpBuffer() {    if (dumpBufferLockOffset != -1) {      while (!VM_Synchronization.testAndSet(VM_Magic.getJTOC(),                                             dumpBufferLockOffset, 1))         ;    }    return dumpBuffer;  }