Searching in tests/SimpleCmdLineTest/@@BAD_SYMBOL@@work