static char lastCharacter(S s) {
  ret empty(s) ? 0 : s.charAt(l(s)-1);
}