sS dm_gazelle_addTempFact(S text) {
  ret (S) dm_requireAndCall("#1021809/GazelleTempFacts", addTempFact, text);
}