static S growPrefix(S a, S b) {
  if (b.endsWith(a))
    ret b.substring(0, l(b)-l(a)) + b;
  null;
}