test('T11549', normal, ghci_script, ['T11549.script'])
test('T11786', normal, ghci_script, ['T11786.script'])
test('T14238', normal, ghci_script, ['T14238.script'])