static Window dm_window(O module) {
  ret getWindow(dm_vis(module));
}