def x32.tail
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
482def x32.tail(+len: U32, +h: U32, r: Array<U32> & U32) -> Bytes.Bytes & U32:
483 (a, +w) = r
484 (Bytes.Bytes{len, a}, x32.aval(tail(~U32, ~x32.byte, U32.to_nat((len .&. 3 : U32)), w, h)))