Symbol: to_nf_mask