P4 Compiler/interpreter, cf http://homepages.cwi.nl/~steven/pascal/