def unpack

import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wide

import Base

130def unpack(w: Word(64n)) -> U32 & U32:
131  limbs(split(32n, 32n, w))

Uses (5)