/usr/pico/pico -m120000 /usr/pico/tools/pico.l $1 $2 $3
