static S rsubstring(S s, int n) {
  ret s.substring(max(0, l(s)-n), l(s));
}