digraph combined {
  label="forEver"
  -1 [shape=record,style=filled,label="-1|entry"]
  -2 [shape=record,label="-2|exit"]
  0 [shape=record,label="0|{0:	 // label\l|1:	 // line number information\l|2:	ICONST_0 \l|3:	ISTORE 2\l}"]
  4 [shape=record,label="4|{4:	 // label\l|5:	 // stack frame map\l|6:	IINC 2 1\l|7:	GOTO 4\l}"]
  -1 -> 0 [label=""]
  0 -> 4 [label=""]
  4 -> 4 [label="T"]
  0 -> 4 [style=dotted]
  -1 -> 0 [style=dotted]
}