static S afterLastDot(S s) {
  ret s == null ? null : substring(s, s.lastIndexOf('.')+1);
}