test('T15261a', normal, makefile_test, ['T15261a'])
test('T15261b', normal, makefile_test, ['T15261b'])