def serialize
import bend-collections@1.0.0.0/spec/crypto/chacha.bend as Chachaimport Base
89def serialize(ws: List<&2, U32>) -> List<&2, U32>:
90 match ws:
91 case Nil{}: Nil{}
92 case w <> rest: List.append(&2, U32, octets(w), serialize(rest))