def ccm.pad.fast
import bend-osdev-cipher-modes@0.1.0.0/ccm.bend as Ccmimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
179def ccm.pad.fast(+xs: List<&2, U32>) -> List<&2, U32>:
180 B.append.fast(xs, B.zeros(Nat.mod(Nat.sub(16n, Nat.mod(B.len.fast(xs), 16n)), 16n)))