Symbol: MASKEDINT