digraph G {
  node [ shape=record ];
  node0 [label = "<f0> |<f1> A|<f2> "];
  node1 [label = "<f0> |<f1> B|<f2> "];
  node2 [label = "<f0> |<f1> C|<f2> "];
  "node0":f0 -> "node1":f1;
  "node1":f0 -> "node2":f1;
  "node0":f2 -> "node2":f2;
}