static Pair<S, Bool> dm_gazelle_addTempFact(S text) {
  ret (Pair<S, Bool>) quickImport(dm_requireAndCall("#1021809/GazelleTempFacts", addTempFact, text));
}