test('barton-mangler-bug', normal, multimod_compile_and_run, ['Main', ''])