law low16_mask

bend-osdev-bytes@0.1.1.0 · LAWS.bend:636

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

636law low16_mask:
637  for +v: U32
638  {B.low16(U32.and(v, 65535)) == U32.and(v, 65535) : U32}