test('prog013', extra_files(['Bad.hs', 'Good.hs']), ghci_script, ['prog013.script'])