test('T13914',
     [extra_files(['main.hs'])],
     makefile_test, ['t13914'])