digraph G {
  a [label="A\n101"]
  a -> b
  a -> c

  b [label="B\n111"]
  b -> s0
  s0 [label="SKIP\n0x00..."]
  b -> d

  d [label="D\n011"]
  d -> f
  d -> s1
  s1 [label="SKIP\n0x22..."]

  f [label="F\n000"]
  f -> v1
  v1 [label="VERIFY\n0x55..."]
  f -> s2
  s2 [label="SKIP\n0x66..."]

  c [label="C\n010"]
  c -> v2
  v2 [label="VERIFY\n0x11..."]
  c -> e

  e [label="E\n001"]
  e -> v3
  v3 [label="VERIFY\n0x33..."]
  e -> v4
  v4 [label="VERIFY\n0x44..."]
}