Symbol: ddt_free