Design and implementation of a diagnostic compiler for PL/I | Synapse