This is a workalike for Gerard Holzmann's pico.
It compiles code on the fly!

The images gerard, doug, and judy are from http://netlib.sandia.gov/popi/