Level B compliance for a compiler includes everything in level C compliance, with the addition that all control structures must be implemented. Essentially, level B compliance requires that all correct mPascal programs consisting of a single main program compile and translate properly into mMachine code, and that incorrect mPascal programs consisting of a single main program have valid error messages generated.
In particular the following must be accomplished: