static bool ai_isSafeToCall(S sfName) {
  ret has_verified_multi(
    ll("Standard function " + quote(sfName),
      "Standard function " + sfName), "is", "safe to call")
    || has_verified(sfName, "is", "a safe standard function");
}