test('T8308', normal, makefile_test, ['T8308'])