Prove mwov_len_calcs_nf'.