Symbol: ivgen_t