def x64.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
578def x64.rest(+len: U32, r: Array<U32> & W64) -> Bytes.Bytes & W64:
579 (a, h) = r
580 x64.tail(len, h, get2(a, ((len >> 3n) << 1n : U32)))