Definition zero8 : octet :=
  OctExact B0 B0 B0 B0 B0 B0 B0 B0.
