def ccm.alen.pick

bend-osdev-cipher-modes@0.1.0.0 · ccm.bend:27

import Base

27# l(a): two bytes below 65280 (2^16 - 2^8), else 0xFF 0xFE and four bytes
28def ccm.alen.pick(short: Bool, +v: U32) -> List<&2, U32>:
29  match short:
30    case True{}:
31      ccm.be(2n, v)
32    case False{}:
33      Con{255, Con{254, ccm.be(4n, v)}}