!7

cmodule ExtraFrame {
  S mainModuleID;
  transient JComponent visualization;
  
  visual visualization;
}