Definition octetByte (b : Byte.byte): octet :=
  let n := Byte.to_N b in
  let z := Z.of_N n in
    match octets8 z with
    | []     => zero8
    | x :: _ => x
    end.
