Symbol: IXP425_INT_bit30