Symbol: test_double_free