Symbol: ivgen_ctor_t