static O dm_require_newFacts() {
  ret dm_getModule(dm_requireModule("#1017626/NewFacts"));
}