Definition octets8 (z : Z) : list octet := [
  OctExact
    (bitOf z 7)
    (bitOf z 6)
    (bitOf z 5)
    (bitOf z 4)
    (bitOf z 3)
    (bitOf z 2)
    (bitOf z 1)
    (bitOf z 0)
].
