static S ai_verifySafeToCall(S sfName) {
  if (!ai_isSafeToCall(sfName))
    fail("Not safe to call: " + sfName);
  ret sfName;
}