static char toChar(S s) {
  assertTrue(s, l(s) == 1);
  ret s.charAt(0);
}