Inductive octetOrder : Set :=
  | OctetOrderBig
  | OctetOrderLittle.
