static O callF_precise(O f, O... args) {
  if (f instanceof S)
    ret callMC_precise((S) f, args);
  ret callF(f, args);
}