static JComponent dm_visualization(O module) {
  ret dm_vis(module);
}





static JComponent dm_visualization() {
  ret dm_vis();
}