def U32.divmod.go.rec
import Base1602def U32.divmod.go.rec(-p: Nat, a0: Bool, +b: U32, qr: Word(p) & U32) ->
1603 Word(1n+p) & U32:
1604 (q, r) = qr
1605 U32{rw} = r
1606 U32.divmod.go.shl(p, q, b, Word.shl.out(32n, a0, rw))
import Base1602def U32.divmod.go.rec(-p: Nat, a0: Bool, +b: U32, qr: Word(p) & U32) ->
1603 Word(1n+p) & U32:
1604 (q, r) = qr
1605 U32{rw} = r
1606 U32.divmod.go.shl(p, q, b, Word.shl.out(32n, a0, rw))