digraph block { N0[label="entry"]; N1[label="exit"]; N2[label="block { }"]; N0 -> N2; N2 -> N1; }