static byte[] charsToSingleBytes(S s) {
  byte[] b = new byte[l(s)];
  for (int i = 0; i < l(s); i++)
    b[i] = (byte) s.charAt(i);
  ret b;
}