def x32.rest
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
486def x32.rest(+len: U32, r: Array<U32> & U32) -> Bytes.Bytes & U32:
487 (a, +h) = r
488 x32.tail(len, h, Array.get(U32, a, (len >> 2n : U32)))