(de mike Progs
   (println (run Progs)) )
(mike
   (+
      (+ 3 4)
      (+ 3 4) ) )
(msg 'ok)
(bye)