Inductive binaryExp : Set :=
  | U32    : N -> binaryExp
  | U64    : N -> binaryExp
  | UTF8   : string -> binaryExp
  | Pad    : N -> binaryExp
  | Octets : list octet -> binaryExp
  .
