def wsd.q
import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFTextimport Base
202def wsd.q(+qp: U32, +rp: U32, +c: U32) -> U32:
203 U32.or(U32.shln(qp, 16n), wsd.d(rp, c))
import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFTextimport Base
202def wsd.q(+qp: U32, +rp: U32, +c: U32) -> U32:
203 U32.or(U32.shln(qp, 16n), wsd.d(rp, c))