This file contains Falderal directives that define functionalities tested by the test suite, as fulfilled by compiled PL-{GOTO}.NET programs.

-> Functionality "Evaluate PL-{GOTO} Program" is implemented by
-> shell command
-> "bin/PLexceptGOTOdotNET-loadngo %(test-body-file)"