Definition binaryExpsNamedOctets (bs : list (string * binaryExp)) : list octet :=
  binaryExpsOctets (map snd bs).
