Memory leak found, see src/test/special_test.adb