Symbol: divn_mask