This is a modified subset of the Blackbox framework 1.7.2 used to test my Oberon+ parser and validator - View it on GitHub