static byte[] charsToDoubleBytes(S s) {
  byte[] b = new byte[l(s)*2];
  for (int i = 0; i < l(s); i++) {
    int x = (int) s.charAt(i);
    b[i*2] = (byte) (x >> 8);
    b[i*2+1] = (byte) x;
  }
  ret b;
}