(de mike Progs (for P Progs (println (eval P)) ) ) (mike (* 3 4) (+ 1 2) ) (msg 'ok) (bye)