static L dm_modulesWithSnippetID(fS snippetID) {
  ret [O m : dm_modules() | sameSnippetID(snippetID, dm_programID(m))];
}