Ccm.ccm.alen.pick: def of bend-osdev-cipher-modes@0.1.0.0
Import: import bend-osdev-cipher-modes@0.1.0.0/ccm.bend as Ccm
Lines 27-33 of bend-osdev-cipher-modes@0.1.0.0/ccm.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cipher-modes@0.1.0.0/ccm.bend&start_line=27&end_line=33

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/ccm.bend&name=ccm.be