Symbol: IXP425_INT_bit31