digraph d
{
	fontname = Helvetica
	fontsize = 10
	label = "Fig. 5"
	rankdir = "LR"
	node [fontname = "Helvetica-Bold", fontsize = 12]

	subgraph cluster_Roots
	{
		fontname = "Helvetica-Bold"
		label = "Roots"
		fontsize = 15

		style = filled
		fillcolor = grey
		Globals [style = filled, fillcolor = white]
		Stack [style = filled, fillcolor = white]
	}

	null [style = dashed, label = ""]

	Globals -> null [style = dashed, color = cornflowerblue]
}