Pascal implementation: The P4 Compiler