Fixpoint binaryExpsOctets (bs : list binaryExp) : list octet :=
  match bs with
  | []        => []
  | (c :: cs) => (binaryExpOctets c) ++ (binaryExpsOctets cs)
  end.
