def wsh.q
import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFTextimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
187def wsh.q(+a: W.W64) -> W.W64:
188 W.W64.small.q(W.W64.small.divmod(a, 10))
import bend-osdev-word64@0.1.1.0/PROOF_text.bend as PROOFTextimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
187def wsh.q(+a: W.W64) -> W.W64:
188 W.W64.small.q(W.W64.small.divmod(a, 10))