| digraph Mir_0_3 { |
| graph [fontname="Courier, monospace"]; |
| node [fontname="Courier, monospace"]; |
| edge [fontname="Courier, monospace"]; |
| label=<fn main() -> ()<br align="left"/>>; |
| bb0__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">0</td></tr><tr><td align="left" balign="left">_0 = const ()<br/></td></tr><tr><td align="left">goto</td></tr></table>>]; |
| bb1__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">1</td></tr><tr><td align="left">resume</td></tr></table>>]; |
| bb2__0_3 [shape="none", label=<<table border="0" cellborder="1" cellspacing="0"><tr><td bgcolor="gray" align="center" colspan="1">2</td></tr><tr><td align="left">return</td></tr></table>>]; |
| bb0__0_3 -> bb2__0_3 [label=""]; |
| } |