def cr.hmac.pad
import bend-osdev-crypto@0.1.0.0/hmac.bend as Hmacimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
28def cr.hmac.pad(xs: List<&2, U32>, +c: U32) -> List<&2, U32>:
29 match xs:
30 case Nil{}:
31 Nil{}
32 case Con{x, t}:
33 Con{B.byte(U32.xor(x, c)), cr.hmac.pad(t, c)}