static S ai_verifySafeToCall(S sfName) {
  if (!has_verified_multi(
    ll("Standard function " + quote(sfName),
      "Standard function " + sfName), "is", "safe to call"))
    fail("Not safe to call: " + sfName);
  ret sfName;
}