BadNOT-stderr.txt 1.5 KB