char [] intBuffer = getIntBuffer();
  private static void writeHex(Word w, int bytes) {    int hexDigits = bytes * (1 << LOG_HEX_DIGITS_IN_BYTE);    int nextDigit;    char [] intBuffer = getIntBuffer();    write(HEX_PREFIX);    for (int digitNumber = hexDigits - 1; digitNumber >= 0; digitNumber--) {      nextDigit = w.rshl(digitNumber << LOG_BITS_IN_HEX_DIGIT).toInt() & 0xf;      char nextChar = Barriers.getArrayNoBarrier(hexDigitCharacter,                                                     nextDigit);      add(nextChar);    }  }