Symbol: IXP425_INT_bit11