def mv_w
import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTableimport Base
312def mv_w(+k: U32, nt: Array<U32>, +nmask: U32, r: Array<U32> & U32) -> Mv:
313 (old, +w) = r
314 mv_if(k, old, nt, nmask, w, U32.is_eq(w, 0))