Pascal compiler (cf http://homepages.cwi.nl/~steven/pascal/)