static byte[] charToBytes(char c) {
  ret new byte[] {
    (byte) (c >>> 8),
    (byte) c
  };
}