digraph graph_for_def_id_0_3 { graph[fontname="Courier, monospace"]; node[fontname="Courier, monospace"]; edge[fontname="Courier, monospace"]; bb_0[label=<
bb0
MIRSTATE
(on start){}
0_0 = const ()+_0
Treturn
(on end){_0}
>][shape="none"]; }