static IVF1 mainFunctionToIVF1(fS fname) {
  ret (IVF1) a -> { callMC(fname, a); };
}