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/