static O dm_get_newFacts() {
  ret dm_getModule(dm_findModule("#1017626/NewFacts"));
}