static O ai_callSafeSFOnInput(S f, S input) ctex {
  assertSafeSF(f);
  ret ai_callSFOnInput(f, input);
}