src/test/special_test.adb triggers an error. please help to find the cause of this error