Symbol: EXTINT_8_23