new file mode 100644

@@ -0,0 +1,6 @@

+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 

+}