/* @generated */
digraph iCFG {
"derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_1" [label="1: Start derefFirstArg_null_deref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 37]\n " color=yellow style=filled]
	

	 "derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_1" -> "derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_4" ;
"derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_2" [label="2: Exit derefFirstArg_null_deref \n  " color=yellow style=filled]
	

"derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_3" [label="3:  Return Stmt \n   n$0=*null:int [line 39]\n  *&return:int=n$0 [line 39]\n " shape="box"]
	

	 "derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_3" -> "derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_2" ;
"derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_4" [label="4:  DeclStmt \n   *&a:int=0 [line 38]\n " shape="box"]
	

	 "derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_4" -> "derefFirstArg_null_deref#_Z24derefFirstArg_null_derefv.888b0841f54a6b8a816aae1704a7a067_3" ;
"derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_1" [label="1: Start derefFirstArg_ok_deref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 42]\n " color=yellow style=filled]
	

	 "derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_1" -> "derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_4" ;
"derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_2" [label="2: Exit derefFirstArg_ok_deref \n  " color=yellow style=filled]
	

"derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_3" [label="3:  Return Stmt \n   n$0=*&a:int [line 44]\n  *&return:int=n$0 [line 44]\n " shape="box"]
	

	 "derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_3" -> "derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_2" ;
"derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_4" [label="4:  DeclStmt \n   *&a:int=0 [line 43]\n " shape="box"]
	

	 "derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_4" -> "derefFirstArg_ok_deref#_Z22derefFirstArg_ok_derefv.282203254958db45cf22edde56434c72_3" ;
"derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_1" [label="1: Start derefFirstArg2_null_deref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 47]\n " color=yellow style=filled]
	

	 "derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_1" -> "derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_4" ;
"derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_2" [label="2: Exit derefFirstArg2_null_deref \n  " color=yellow style=filled]
	

"derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_3" [label="3:  Return Stmt \n   n$0=*null:int [line 49]\n  *&return:int=n$0 [line 49]\n " shape="box"]
	

	 "derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_3" -> "derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_2" ;
"derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_4" [label="4:  DeclStmt \n   *&a:int=0 [line 48]\n " shape="box"]
	

	 "derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_4" -> "derefFirstArg2_null_deref#_Z25derefFirstArg2_null_derefv.9f91100303ee316d5ebfcafbb2b3ff39_3" ;
"derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_1" [label="1: Start derefFirstArg2_ok_deref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 52]\n " color=yellow style=filled]
	

	 "derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_1" -> "derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_4" ;
"derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_2" [label="2: Exit derefFirstArg2_ok_deref \n  " color=yellow style=filled]
	

"derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_3" [label="3:  Return Stmt \n   n$0=*&a:int [line 54]\n  *&return:int=n$0 [line 54]\n " shape="box"]
	

	 "derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_3" -> "derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_2" ;
"derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_4" [label="4:  DeclStmt \n   *&a:int=0 [line 53]\n " shape="box"]
	

	 "derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_4" -> "derefFirstArg2_ok_deref#_Z23derefFirstArg2_ok_derefv.20d60443c8233fc05371996b95e90d34_3" ;
"derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_1" [label="1: Start derefFirstArg3_ok_deref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 57]\n " color=yellow style=filled]
	

	 "derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_1" -> "derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_4" ;
"derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_2" [label="2: Exit derefFirstArg3_ok_deref \n  " color=yellow style=filled]
	

"derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_3" [label="3:  Return Stmt \n   n$0=_fun_derefFirstArg3(null:int*,&a:int*) [line 59]\n  *&return:int=n$0 [line 59]\n " shape="box"]
	

	 "derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_3" -> "derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_2" ;
"derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_4" [label="4:  DeclStmt \n   *&a:int=0 [line 58]\n " shape="box"]
	

	 "derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_4" -> "derefFirstArg3_ok_deref#_Z23derefFirstArg3_ok_derefv.fca14287cce4060ffac0e2a80fc88d68_3" ;
"derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_1" [label="1: Start derefFirstArg3_null_deref\nFormals: \nLocals:  a:int \n   DECLARE_LOCALS(&return,&a); [line 62]\n " color=yellow style=filled]
	

	 "derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_1" -> "derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_4" ;
"derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_2" [label="2: Exit derefFirstArg3_null_deref \n  " color=yellow style=filled]
	

"derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_3" [label="3:  Return Stmt \n   n$0=_fun_derefFirstArg3(&a:int*,null:int*) [line 64]\n  *&return:int=n$0 [line 64]\n " shape="box"]
	

	 "derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_3" -> "derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_2" ;
"derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_4" [label="4:  DeclStmt \n   *&a:int=0 [line 63]\n " shape="box"]
	

	 "derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_4" -> "derefFirstArg3_null_deref#_Z25derefFirstArg3_null_derefv.19711998fb0b81b24cd08a1530de387a_3" ;
"getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_1" [label="1: Start getPtr_null_deref1\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 89]\n " color=yellow style=filled]
	

	 "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_1" -> "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_5" ;
"getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_2" [label="2: Exit getPtr_null_deref1 \n  " color=yellow style=filled]
	

"getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_3" [label="3:  Return Stmt \n   _=*&t:int* [line 92]\n  n$1=*&t:int* [line 92]\n  n$2=*n$1:int [line 92]\n  *&return:int=n$2 [line 92]\n " shape="box"]
	

	 "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_3" -> "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_2" ;
"getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 91]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,null:int*) [line 91]\n " shape="box"]
	

	 "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_4" -> "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_3" ;
"getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 90]\n  n$4=*&t:int* [line 90]\n " shape="box"]
	

	 "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_5" -> "getPtr_null_deref1#_Z18getPtr_null_deref1v.8fe3c2e543eea983eff3da1f5e695e45_4" ;
"getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_1" [label="1: Start getPtr_null_deref2\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 95]\n " color=yellow style=filled]
	

	 "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_1" -> "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_5" ;
"getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_2" [label="2: Exit getPtr_null_deref2 \n  " color=yellow style=filled]
	

"getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_3" [label="3:  Return Stmt \n   _=*&t:int* [line 98]\n  n$1=*&t:int* [line 98]\n  n$2=*n$1:int [line 98]\n  *&return:int=n$2 [line 98]\n " shape="box"]
	

	 "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_3" -> "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_2" ;
"getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 97]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,null:int*) [line 97]\n " shape="box"]
	

	 "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_4" -> "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_3" ;
"getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 96]\n  n$4=*&t:int* [line 96]\n " shape="box"]
	

	 "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_5" -> "getPtr_null_deref2#_Z18getPtr_null_deref2v.860e091472ee7e1206f67ce86c5fe52f_4" ;
"getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_1" [label="1: Start getPtr_ok_deref\nFormals: \nLocals:  t:int* a:int \n   DECLARE_LOCALS(&return,&t,&a); [line 101]\n " color=yellow style=filled]
	

	 "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_1" -> "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_6" ;
"getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_2" [label="2: Exit getPtr_ok_deref \n  " color=yellow style=filled]
	

"getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_3" [label="3:  Return Stmt \n   _=*&t:int* [line 105]\n  n$1=*&t:int* [line 105]\n  n$2=*n$1:int [line 105]\n  *&return:int=n$2 [line 105]\n " shape="box"]
	

	 "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_3" -> "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_2" ;
"getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 104]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,&a:int*) [line 104]\n " shape="box"]
	

	 "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_4" -> "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_3" ;
"getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 103]\n  n$4=*&t:int* [line 103]\n " shape="box"]
	

	 "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_5" -> "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_4" ;
"getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_6" [label="6:  DeclStmt \n   *&a:int=0 [line 102]\n " shape="box"]
	

	 "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_6" -> "getPtr_ok_deref#_Z15getPtr_ok_derefv.5007e618c5879a7695c591bb81043ac4_5" ;
"operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_1" [label="1: Start operator_star_null_deref1\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 108]\n " color=yellow style=filled]
	

	 "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_1" -> "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_5" ;
"operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_2" [label="2: Exit operator_star_null_deref1 \n  " color=yellow style=filled]
	

"operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_3" [label="3:  Return Stmt \n   n$0=*&t:int* [line 111]\n  n$1=*n$0:int [line 111]\n  *&return:int=n$1 [line 111]\n " shape="box"]
	

	 "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_3" -> "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_2" ;
"operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 110]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,null:int*) [line 110]\n " shape="box"]
	

	 "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_4" -> "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_3" ;
"operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 109]\n  n$3=*&t:int* [line 109]\n " shape="box"]
	

	 "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_5" -> "operator_star_null_deref1#_Z25operator_star_null_deref1v.29b25313e2a83e87253fad4b15514dd2_4" ;
"operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_1" [label="1: Start operator_star_null_deref2\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 114]\n " color=yellow style=filled]
	

	 "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_1" -> "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_5" ;
"operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_2" [label="2: Exit operator_star_null_deref2 \n  " color=yellow style=filled]
	

"operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_3" [label="3:  Return Stmt \n   _=*&t:int* [line 117]\n  n$1=*&t:int* [line 117]\n  n$2=*n$1:int [line 117]\n  *&return:int=n$2 [line 117]\n " shape="box"]
	

	 "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_3" -> "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_2" ;
"operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 116]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,null:int*) [line 116]\n " shape="box"]
	

	 "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_4" -> "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_3" ;
"operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 115]\n  n$4=*&t:int* [line 115]\n " shape="box"]
	

	 "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_5" -> "operator_star_null_deref2#_Z25operator_star_null_deref2v.9f63500127a1eed8a30929bcf8d2ae20_4" ;
"operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_1" [label="1: Start operator_star_ok_deref\nFormals: \nLocals:  t:int* a:int \n   DECLARE_LOCALS(&return,&t,&a); [line 120]\n " color=yellow style=filled]
	

	 "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_1" -> "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_5" ;
"operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_2" [label="2: Exit operator_star_ok_deref \n  " color=yellow style=filled]
	

"operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_3" [label="3:  Return Stmt \n   _=*&t:int* [line 124]\n  n$1=*&t:int* [line 124]\n  n$2=*n$1:int [line 124]\n  *&return:int=n$2 [line 124]\n " shape="box"]
	

	 "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_3" -> "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_2" ;
"operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 123]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,&a:int*) [line 123]\n " shape="box"]
	

	 "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_4" -> "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_3" ;
"operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 122]\n  n$4=*&t:int* [line 122]\n " shape="box"]
	

	 "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_5" -> "operator_star_ok_deref#_Z22operator_star_ok_derefv.05e1f942caea52ab1d3d6b984a9f70f6_4" ;
"getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_1" [label="1: Start getRef_null_deref1\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 127]\n " color=yellow style=filled]
	

	 "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_1" -> "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_5" ;
"getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_2" [label="2: Exit getRef_null_deref1 \n  " color=yellow style=filled]
	

"getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_3" [label="3:  Return Stmt \n   _=*&t:int* [line 130]\n  n$1=*&t:int* [line 130]\n  n$2=*n$1:int [line 130]\n  *&return:int=n$2 [line 130]\n " shape="box"]
	

	 "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_3" -> "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_2" ;
"getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 129]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,null:int*) [line 129]\n " shape="box"]
	

	 "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_4" -> "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_3" ;
"getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 128]\n  n$4=*&t:int* [line 128]\n " shape="box"]
	

	 "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_5" -> "getRef_null_deref1#_Z18getRef_null_deref1v.e2691c4737684d70d253311667ec346d_4" ;
"getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_1" [label="1: Start getRef_null_deref2\nFormals: \nLocals:  t:int* \n   DECLARE_LOCALS(&return,&t); [line 133]\n " color=yellow style=filled]
	

	 "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_1" -> "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_5" ;
"getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_2" [label="2: Exit getRef_null_deref2 \n  " color=yellow style=filled]
	

"getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_3" [label="3:  Return Stmt \n   _=*&t:int* [line 136]\n  n$1=*&t:int* [line 136]\n  n$2=*n$1:int [line 136]\n  *&return:int=n$2 [line 136]\n " shape="box"]
	

	 "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_3" -> "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_2" ;
"getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 135]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,null:int*) [line 135]\n " shape="box"]
	

	 "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_4" -> "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_3" ;
"getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 134]\n  n$4=*&t:int* [line 134]\n " shape="box"]
	

	 "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_5" -> "getRef_null_deref2#_Z18getRef_null_deref2v.85b25ab34f4874d5a1a73c00182031f2_4" ;
"getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_1" [label="1: Start getRef_ok_deref\nFormals: \nLocals:  t:int* a:int \n   DECLARE_LOCALS(&return,&t,&a); [line 139]\n " color=yellow style=filled]
	

	 "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_1" -> "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_6" ;
"getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_2" [label="2: Exit getRef_ok_deref \n  " color=yellow style=filled]
	

"getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_3" [label="3:  Return Stmt \n   _=*&t:int* [line 143]\n  n$1=*&t:int* [line 143]\n  n$2=*n$1:int [line 143]\n  *&return:int=n$2 [line 143]\n " shape="box"]
	

	 "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_3" -> "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_2" ;
"getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_4" [label="4:  Call _fun_TranslateAsPtr<int>_setPtr \n   _=*&t:int* [line 142]\n  _fun_TranslateAsPtr<int>_setPtr(&t:int*&,&a:int*) [line 142]\n " shape="box"]
	

	 "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_4" -> "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_3" ;
"getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_5" [label="5:  DeclStmt \n   _fun_TranslateAsPtr<int>_TranslateAsPtr(&t:int**,null:int*) [line 141]\n  n$4=*&t:int* [line 141]\n " shape="box"]
	

	 "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_5" -> "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_4" ;
"getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_6" [label="6:  DeclStmt \n   *&a:int=0 [line 140]\n " shape="box"]
	

	 "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_6" -> "getRef_ok_deref#_Z15getRef_ok_derefv.fdf4f722ffa37b8e0b6ca30b3ec5d512_5" ;
"derefFirstArg#_Z13derefFirstArgPiS_.43a846fa6594e9116b6c3ebfb2643000_1" [label="1: Start derefFirstArg\nFormals:  a:int* b:int*\nLocals:  \n   DECLARE_LOCALS(&return); [line 19]\n " color=yellow style=filled]
	

	 "derefFirstArg#_Z13derefFirstArgPiS_.43a846fa6594e9116b6c3ebfb2643000_1" -> "derefFirstArg#_Z13derefFirstArgPiS_.43a846fa6594e9116b6c3ebfb2643000_2" ;
"derefFirstArg#_Z13derefFirstArgPiS_.43a846fa6594e9116b6c3ebfb2643000_2" [label="2: Exit derefFirstArg \n  " color=yellow style=filled]
	

"derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_1" [label="1: Start derefFirstArg2\nFormals:  a:int* b:int*\nLocals:  \n   DECLARE_LOCALS(&return); [line 22]\n " color=yellow style=filled]
	

	 "derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_1" -> "derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_3" ;
"derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_2" [label="2: Exit derefFirstArg2 \n  " color=yellow style=filled]
	

"derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_3" [label="3:  Return Stmt \n   n$0=*&b:int* [line 26]\n  n$1=*n$0:int [line 26]\n  *&return:int=n$1 [line 26]\n " shape="box"]
	

	 "derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_3" -> "derefFirstArg2#_Z14derefFirstArg2PiS_.6659bc8e098263a32e4f7b2f507f86a8_2" ;
"derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_1" [label="1: Start derefFirstArg3\nFormals:  a:int* b:int*\nLocals:  \n   DECLARE_LOCALS(&return); [line 31]\n " color=yellow style=filled]
	

	 "derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_1" -> "derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_3" ;
"derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_2" [label="2: Exit derefFirstArg3 \n  " color=yellow style=filled]
	

"derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_3" [label="3:  Return Stmt \n   n$0=*&b:int* [line 33]\n  n$1=*n$0:int [line 33]\n  *&return:int=n$1 [line 33]\n " shape="box"]
	

	 "derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_3" -> "derefFirstArg3#_Z14derefFirstArg3PiS_.ac660bbca3cd8f7c9fe9bccf1c81231f_2" ;
"getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEv).86475b878ec25f99857afaab6e572598_1" [label="1: Start TranslateAsPtr<int>_getPtr\nFormals:  this:int**\nLocals:  \n   DECLARE_LOCALS(&return); [line 78]\n " color=yellow style=filled]
	

	 "getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEv).86475b878ec25f99857afaab6e572598_1" -> "getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEv).86475b878ec25f99857afaab6e572598_2" ;
"getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEv).86475b878ec25f99857afaab6e572598_2" [label="2: Exit TranslateAsPtr<int>_getPtr \n  " color=yellow style=filled]
	

"operator*#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiEdeEv).8b8bcb51ba83bcea28207c3e7872be18_1" [label="1: Start TranslateAsPtr<int>_operator*\nFormals:  this:int**\nLocals:  \n   DECLARE_LOCALS(&return); [line 81]\n " color=yellow style=filled]
	

	 "operator*#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiEdeEv).8b8bcb51ba83bcea28207c3e7872be18_1" -> "operator*#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiEdeEv).8b8bcb51ba83bcea28207c3e7872be18_2" ;
"operator*#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiEdeEv).8b8bcb51ba83bcea28207c3e7872be18_2" [label="2: Exit TranslateAsPtr<int>_operator* \n  " color=yellow style=filled]
	

"getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEv).934c2d955bbd1ac48f3a3a0f5f98da14_1" [label="1: Start TranslateAsPtr<int>_getRef\nFormals:  this:int**\nLocals:  \n   DECLARE_LOCALS(&return); [line 82]\n " color=yellow style=filled]
	

	 "getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEv).934c2d955bbd1ac48f3a3a0f5f98da14_1" -> "getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEv).934c2d955bbd1ac48f3a3a0f5f98da14_2" ;
"getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEv).934c2d955bbd1ac48f3a3a0f5f98da14_2" [label="2: Exit TranslateAsPtr<int>_getRef \n  " color=yellow style=filled]
	

"getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEii).062ea63a22d00466a7d92c0413829ec7_1" [label="1: Start TranslateAsPtr<int>_getPtr\nFormals:  this:int** a:int b:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 79]\n " color=yellow style=filled]
	

	 "getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEii).062ea63a22d00466a7d92c0413829ec7_1" -> "getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEii).062ea63a22d00466a7d92c0413829ec7_2" ;
"getPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getPtrEii).062ea63a22d00466a7d92c0413829ec7_2" [label="2: Exit TranslateAsPtr<int>_getPtr \n  " color=yellow style=filled]
	

"getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEii).010c73c3ee4cd5e23a1cb9498ee7b700_1" [label="1: Start TranslateAsPtr<int>_getRef\nFormals:  this:int** a:int b:int\nLocals:  \n   DECLARE_LOCALS(&return); [line 83]\n " color=yellow style=filled]
	

	 "getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEii).010c73c3ee4cd5e23a1cb9498ee7b700_1" -> "getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEii).010c73c3ee4cd5e23a1cb9498ee7b700_2" ;
"getRef#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6getRefEii).010c73c3ee4cd5e23a1cb9498ee7b700_2" [label="2: Exit TranslateAsPtr<int>_getRef \n  " color=yellow style=filled]
	

"TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_1" [label="1: Start TranslateAsPtr<int>_TranslateAsPtr\nFormals:  this:int** t:int*\nLocals:  \n   DECLARE_LOCALS(&return); [line 76]\n " color=yellow style=filled]
	

	 "TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_1" -> "TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_3" ;
"TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_2" [label="2: Exit TranslateAsPtr<int>_TranslateAsPtr \n  " color=yellow style=filled]
	

"TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_3" [label="3:  Call _fun_TranslateAsPtr<int>_setPtr \n   n$0=*&this:int** [line 76]\n  _=*n$0:int* [line 76]\n  n$2=*&t:int* [line 76]\n  _fun_TranslateAsPtr<int>_setPtr(n$0:int**,n$2:int*) [line 76]\n " shape="box"]
	

	 "TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_3" -> "TranslateAsPtr#TranslateAsPtr<int>#{_ZN14TranslateAsPtrIiEC1EPi}.dc7a8881adfc166c5d6deb6fc9bd6990_2" ;
"setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_1" [label="1: Start TranslateAsPtr<int>_setPtr\nFormals:  this:int** v:int*\nLocals:  \n   DECLARE_LOCALS(&return); [line 86]\n " color=yellow style=filled]
	

	 "setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_1" -> "setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_3" ;
"setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_2" [label="2: Exit TranslateAsPtr<int>_setPtr \n  " color=yellow style=filled]
	

"setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_3" [label="3:  BinaryOperatorStmt: Assign \n   n$0=*&this:int** [line 86]\n  n$1=*&v:int* [line 86]\n  *n$0:void*=n$1 [line 86]\n " shape="box"]
	

	 "setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_3" -> "setPtr#TranslateAsPtr<int>#(_ZN14TranslateAsPtrIiE6setPtrEPi).a661ef8643e02705887cee0949cf602a_2" ;
}
