def wsd.v
import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFTextimport Base
193def wsd.v(+rp: U32, +c: U32) -> U32:
194 U32.add(U32.mul(rp, 65536), c)
import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFTextimport Base
193def wsd.v(+rp: U32, +c: U32) -> U32:
194 U32.add(U32.mul(rp, 65536), c)