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