Symbol: extint