UI newui(Session sess) {
   ui = new UI(new Coord(w, h), sess);
   ui.root.gprof = prof;
   ui.fsm = this.fsm;
   return (ui);
 }
 public void setfsm(FSMan fsm) {
   this.fsm = new SyncFSM(fsm);
   ui.fsm = this.fsm;
 }