(load "tools/mkSrc.l")
(print (mkSrc "/usr/pico/src"))
(print (mkSrc "/usr/pico/cosyc"))
(print (mkSrc "/usr/pico/Xpico"))
(quit)
