digraph block {
    N0[label="entry"];
    N1[label="exit"];
    N2[label="stmt fn inner(x: isize) -> isize { x + x }"];
    N3[label="expr inner"];
    N4[label="expr inner"];
    N5[label="expr 18"];
    N6[label="expr inner(18)"];
    N7[label="expr inner(inner(18))"];
    N8[label="stmt inner(inner(18));"];
    N9[label="block {\l    fn inner(x: isize) -> isize { x + x }\l    inner(inner(18));\l}\l"];
    N0 -> N2;
    N2 -> N3;
    N3 -> N4;
    N4 -> N5;
    N5 -> N6;
    N6 -> N7;
    N7 -> N8;
    N8 -> N9;
    N9 -> N1;
}