sS replaceWithNothing(S pat, S s) {
  ret replace(s, pat, "");
}