digraph init {

    node [shape=record]
    "initbb-1" [shape=circle,label="e",xlabel="init"]
    "initbb-2" [shape=circle,label="x"]
    "initbb0" [label="0|{0:	 // label|1:	 // line number information|2:	ALOAD 0|3:	INVOKESPECIAL java/lang/Object.<init> ()V|4:	RETURN }"]

    "initbb-1" -> "initbb0"
    "initbb0" -> "initbb-2"
}