static int charToInt(S s) {
  ret empty(s) ? 0 : (int) s.charAt(0);
}

static int charToInt(char c) {
  ret (int) c;
}