static IF0 mainFunctionToIF0(fS fname) {
  ret (IF0) () -> callMC(fname);
}