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