static O dm_definitionsModule() {
  ret dm_requireModule("#1019714/Definitions");
}