Definition u8byte (b : byte) : streamE :=
  Vu8 (Byte.to_nat b).
