pascal p5c
fast, portable Pascal compiler using gnu c as intermediate code
...Execution profiling described in the blog here -> https://sourceforge.net/p/pascal-p5c/blog/2017/07/how-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)