Symbol: plain_ivgen