static int strl(S s) {
  ret s == null ? 0 : s.length();
}