static F1<S, Bool> cicAsFunction(fS pattern) {
  ret func(S s) -> Bool { cic(s, pattern) };
}