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
}