def lane_octets
import bend-collections@1.0.0.0/src/crypto/sha512/core.bend as Coreimport Base
import bend-collections@1.0.0.0/src/crypto/sha512/types.bend as T
165def lane_octets(l: T.Lane, tail: List<&2, U32>) -> List<&2, U32>:
166 match l:
167 case T.W{+hi, +lo}:
168 octets(hi, octets(lo, tail))