Symbol: int_mask_or