Symbol: int_mask_and