static S assertSafeSF(S sfName) {
  ret ai_verifySafeToCall(sfName);
}