static IPred<S> $swic(S prefix) {
  ret s -> swic(s, prefix);
}