test('prog011', reqlib('mtl'), ghci_script, ['prog011.script'])