test('prog013', normal, ghci_script, ['prog013.script'])