static int numberOfFunctionArguments(O f) {
  if (f instanceof F1) ret 1;
  if (f instanceof S) ret numberOfMethodArguments(mc(), (S) f);
  fail todo();
}