pascal p5c
fast, portable Pascal compiler using gnu c as intermediate code
...-to-use-profiling-to-speed-up-p5c-pascal-programs
It extends p5 by adding arbitrary set limits and conformant arrays.
The project also contains p5x - pascal with extensions to the standard pascal language (underscores allowed in identifiers, otherwise in case statement, constant expressions, etc)