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