Symbol: ivgen_dtor_t