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