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