code: void putChar(ByteBuffer buf, int op, int x) {
          buf.elems[op  ] = (byte)((x >>  8) & 0xFF);
          buf.elems[op+1] = (byte)((x      ) & 0xFF);
      }
docs: Write a character into given byte buffer;
  byte buffer will not be grown.