tests/data/badnamedresult

• main.mx