/* @generated */
digraph cfg {
"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_1" [label="1: Start test\nFormals:  a:A*\nLocals:  x:X 0$?%__sil_tmpSIL_materialize_temp__n$1:X \n  " color=yellow style=filled]
	

	 "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_1" -> "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_6" ;
"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_2" [label="2: Exit test \n  " color=yellow style=filled]
	

"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_3" [label="3:  Return Stmt \n   n$0=*&x.f:int [line 21, column 14]\n " shape="box"]
	

	 "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_3" -> "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_4" ;
"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_4" [label="4:  Return Stmt \n   *&return:int=(1 / n$0) [line 21, column 3]\n " shape="box"]
	

	 "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_4" -> "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_2" ;
"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_5" [label="5:  DeclStmt \n   VARIABLE_DECLARED(0$?%__sil_tmpSIL_materialize_temp__n$1:X); [line 20, column 9]\n  n$2=*&a:A* [line 20, column 9]\n  _=*n$2:A [line 20, column 9]\n  n$5=_fun_A::get(n$2:A*,1:int,&0$?%__sil_tmpSIL_materialize_temp__n$1:X*) assign_last [line 20, column 9]\n " shape="box"]
	

	 "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_5" -> "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_7" ;
"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_6" [label="6:  DeclStmt \n   VARIABLE_DECLARED(x:X); [line 20, column 3]\n " shape="box"]
	

	 "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_6" -> "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_5" ;
"test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_7" [label="7:  DeclStmt \n   n$6=_fun_X::X(&x:X*,&0$?%__sil_tmpSIL_materialize_temp__n$1:X&) [line 20, column 9]\n " shape="box"]
	

	 "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_7" -> "test(class A)#14183353284361723530.f22d37fbaacc66a7efb8fb240415be10_3" ;
"get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_1" [label="1: Start A::get\nFormals:  this:A* p:int __return_param:X*\nLocals:  x:X \n  " color=yellow style=filled]
	

	 "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_1" -> "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_6" ;
"get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_2" [label="2: Exit A::get \n  " color=yellow style=filled]
	

"get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_3" [label="3:  Return Stmt \n   n$0=*&__return_param:X* [line 15, column 5]\n " shape="box"]
	

	 "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_3" -> "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_4" ;
"get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_4" [label="4:  Return Stmt \n   n$1=_fun_X::X(n$0:X*,&x:X&) [line 15, column 12]\n " shape="box"]
	

	 "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_4" -> "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_5" ;
"get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_5" [label="5:  Return Stmt \n  " shape="box"]
	

	 "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_5" -> "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_2" ;
"get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_6" [label="6:  DeclStmt \n   VARIABLE_DECLARED(x:X); [line 14, column 5]\n  n$2=_fun_X::X(&x:X*) [line 14, column 7]\n " shape="box"]
	

	 "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_6" -> "get#A(class X)#(1761444600576643509).0f83d3543d984a8645cb78162580d93f_3" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_1" [label="1: Start X::X\nFormals:  this:X*\nLocals:  \n  " color=yellow style=filled]
	

	 "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_1" -> "X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_2" ;
"X#X#{5585564522356237825}.f0691bf51109589e6407e972842a942a_2" [label="2: Exit X::X \n  " color=yellow style=filled]
	

"X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_1" [label="1: Start X::X\nFormals:  this:X* __param_0:X&\nLocals:  \n  " color=yellow style=filled]
	

	 "X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_1" -> "X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_3" ;
"X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_2" [label="2: Exit X::X \n  " color=yellow style=filled]
	

"X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_3" [label="3:  Constructor Init \n   n$1=*&this:X* [line 8, column 8]\n " shape="box"]
	

	 "X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_3" -> "X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_4" ;
"X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_4" [label="4:  Constructor Init \n   n$2=*&__param_0:X& [line 8, column 8]\n  n$3=*n$2.f:int [line 8, column 8]\n  *n$1.f:int=n$3 [line 8, column 8]\n " shape="box"]
	

	 "X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_4" -> "X#X#{7542825376858911664}.855b44777ab56dafe65550d2b42a7b74_2" ;
}
