/testsuite/bsc.options/messages/