Hello m3devel, I am curious if the source code for the Modula-3 Extended Static Checker is available anywhere? Or a Linux binary might work for my purposes... I seem to remember they did distribute it at some point... Mika