digraph G { node [shape=record]; a [label = "<f0> foo | x | <f1> bar"]; b [label = "a | { <f0> foo | x | <f1> bar } | b"]; a:f0 -> b:f1 }