digraph block {
    N0[label="entry"];
    N1[label="exit"];
    N2[label="expr 25"];
    N3[label="local mut x"];
    N4[label="stmt let mut x = 25;"];
    N5[label="expr 25"];
    N6[label="local mut y"];
    N7[label="stmt let mut y = 25;"];
    N8[label="expr 25"];
    N9[label="local mut z"];
    N10[label="stmt let mut z = 25;"];
    N11[label="(dummy_node)"];
    N12[label="expr \'a:\l    loop  {\l        if x == 0 { break ; \"unreachable\"; }\l        x -= 1;\l        \'a:\l            loop  {\l                if y == 0 { break ; \"unreachable\"; }\l                y -= 1;\l                \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l                if x > 10 { continue \'a ; \"unreachable\"; }\l            }\l    }\l"];
    N13[label="expr x"];
    N14[label="expr 0"];
    N15[label="expr x == 0"];
    N16[label="expr break"];
    N17[label="(dummy_node)"];
    N18[label="stmt break ;"];
    N19[label="expr \"unreachable\""];
    N20[label="stmt \"unreachable\";"];
    N21[label="block { break ; \"unreachable\"; }"];
    N22[label="expr if x == 0 { break ; \"unreachable\"; }"];
    N23[label="stmt if x == 0 { break ; \"unreachable\"; }"];
    N24[label="expr 1"];
    N25[label="expr x"];
    N26[label="expr x -= 1"];
    N27[label="stmt x -= 1;"];
    N28[label="(dummy_node)"];
    N29[label="expr \'a:\l    loop  {\l        if y == 0 { break ; \"unreachable\"; }\l        y -= 1;\l        \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l        if x > 10 { continue \'a ; \"unreachable\"; }\l    }\l"];
    N30[label="expr y"];
    N31[label="expr 0"];
    N32[label="expr y == 0"];
    N33[label="expr break"];
    N34[label="(dummy_node)"];
    N35[label="stmt break ;"];
    N36[label="expr \"unreachable\""];
    N37[label="stmt \"unreachable\";"];
    N38[label="block { break ; \"unreachable\"; }"];
    N39[label="expr if y == 0 { break ; \"unreachable\"; }"];
    N40[label="stmt if y == 0 { break ; \"unreachable\"; }"];
    N41[label="expr 1"];
    N42[label="expr y"];
    N43[label="expr y -= 1"];
    N44[label="stmt y -= 1;"];
    N45[label="(dummy_node)"];
    N46[label="expr \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }"];
    N47[label="expr z"];
    N48[label="expr 0"];
    N49[label="expr z == 0"];
    N50[label="expr break"];
    N51[label="(dummy_node)"];
    N52[label="stmt break ;"];
    N53[label="expr \"unreachable\""];
    N54[label="stmt \"unreachable\";"];
    N55[label="block { break ; \"unreachable\"; }"];
    N56[label="expr if z == 0 { break ; \"unreachable\"; }"];
    N57[label="stmt if z == 0 { break ; \"unreachable\"; }"];
    N58[label="expr 1"];
    N59[label="expr z"];
    N60[label="expr z -= 1"];
    N61[label="stmt z -= 1;"];
    N62[label="block { if z == 0 { break ; \"unreachable\"; } z -= 1; }"];
    N63[label="stmt \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }"];
    N64[label="expr x"];
    N65[label="expr 10"];
    N66[label="expr x > 10"];
    N67[label="expr continue \'a"];
    N68[label="(dummy_node)"];
    N69[label="stmt continue \'a ;"];
    N70[label="expr \"unreachable\""];
    N71[label="stmt \"unreachable\";"];
    N72[label="block { continue \'a ; \"unreachable\"; }"];
    N73[label="expr if x > 10 { continue \'a ; \"unreachable\"; }"];
    N74[label="block {\l    if y == 0 { break ; \"unreachable\"; }\l    y -= 1;\l    \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l    if x > 10 { continue \'a ; \"unreachable\"; }\l}\l"];
    N75[label="block {\l    if x == 0 { break ; \"unreachable\"; }\l    x -= 1;\l    \'a:\l        loop  {\l            if y == 0 { break ; \"unreachable\"; }\l            y -= 1;\l            \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l            if x > 10 { continue \'a ; \"unreachable\"; }\l        }\l}\l"];
    N76[label="block {\l    let mut x = 25;\l    let mut y = 25;\l    let mut z = 25;\l    \'a:\l        loop  {\l            if x == 0 { break ; \"unreachable\"; }\l            x -= 1;\l            \'a:\l                loop  {\l                    if y == 0 { break ; \"unreachable\"; }\l                    y -= 1;\l                    \'a: loop  { if z == 0 { break ; \"unreachable\"; } z -= 1; }\l                    if x > 10 { continue \'a ; \"unreachable\"; }\l                }\l        }\l}\l"];
    N0 -> N2;
    N2 -> N3;
    N3 -> N4;
    N4 -> N5;
    N5 -> N6;
    N6 -> N7;
    N7 -> N8;
    N8 -> N9;
    N9 -> N10;
    N10 -> N11;
    N11 -> N13;
    N13 -> N14;
    N14 -> N15;
    N15 -> N16;
    N16 -> N12;
    N17 -> N18;
    N18 -> N19;
    N19 -> N20;
    N20 -> N21;
    N15 -> N22;
    N21 -> N22;
    N22 -> N23;
    N23 -> N24;
    N24 -> N25;
    N25 -> N26;
    N26 -> N27;
    N27 -> N28;
    N28 -> N30;
    N30 -> N31;
    N31 -> N32;
    N32 -> N33;
    N33 -> N29;
    N34 -> N35;
    N35 -> N36;
    N36 -> N37;
    N37 -> N38;
    N32 -> N39;
    N38 -> N39;
    N39 -> N40;
    N40 -> N41;
    N41 -> N42;
    N42 -> N43;
    N43 -> N44;
    N44 -> N45;
    N45 -> N47;
    N47 -> N48;
    N48 -> N49;
    N49 -> N50;
    N50 -> N46;
    N51 -> N52;
    N52 -> N53;
    N53 -> N54;
    N54 -> N55;
    N49 -> N56;
    N55 -> N56;
    N56 -> N57;
    N57 -> N58;
    N58 -> N59;
    N59 -> N60;
    N60 -> N61;
    N61 -> N62;
    N62 -> N45;
    N46 -> N63;
    N63 -> N64;
    N64 -> N65;
    N65 -> N66;
    N66 -> N67;
    N67 -> N28;
    N68 -> N69;
    N69 -> N70;
    N70 -> N71;
    N71 -> N72;
    N66 -> N73;
    N72 -> N73;
    N73 -> N74;
    N74 -> N28;
    N29 -> N75;
    N75 -> N11;
    N12 -> N76;
    N76 -> N1;
}