sS dropSuffixOrNull(S prefix, S s) {
  ret s != null && s.endsWith(suffix) ? s.substring(0, l(s)-l(suffix)) : null;
}