/* @generated */
digraph iCFG {
8 [label="8:  Return Stmt \n   n$0=*&__return_param:class Fields * [line 20]\n  *&#GB$__someFields.field1:float =1 [line 16]\n  *&#GB$__someFields.field2:float =2 [line 16]\n  *&#GB$__someFields.field3:float =3 [line 16]\n  _fun_Fields_(n$0:class Fields *,&#GB$__someFields:class Fields &) [line 20]\n " shape="box"]
	

	 8 -> 7 ;
7 [label="7: Exit fields \n  " color=yellow style=filled]
	

6 [label="6: Start fields\nFormals:  __return_param:class Fields *\nLocals:  \n   DECLARE_LOCALS(&return); [line 20]\n " color=yellow style=filled]
	

	 6 -> 8 ;
5 [label="5:  Constructor Init \n   n$6=*&this:class Fields * [line 10]\n  n$7=*&__param_0:class Fields & [line 10]\n  n$8=*n$7.field1:float  [line 10]\n  *n$6.field1:float =n$8 [line 10]\n " shape="box"]
	

	 5 -> 4 ;
4 [label="4:  Constructor Init \n   n$3=*&this:class Fields * [line 10]\n  n$4=*&__param_0:class Fields & [line 10]\n  n$5=*n$4.field2:float  [line 10]\n  *n$3.field2:float =n$5 [line 10]\n " shape="box"]
	

	 4 -> 3 ;
3 [label="3:  Constructor Init \n   n$0=*&this:class Fields * [line 10]\n  n$1=*&__param_0:class Fields & [line 10]\n  n$2=*n$1.field3:float  [line 10]\n  *n$0.field3:float =n$2 [line 10]\n " shape="box"]
	

	 3 -> 2 ;
2 [label="2: Exit Fields_ \n  " color=yellow style=filled]
	

1 [label="1: Start Fields_\nFormals:  this:class Fields * __param_0:class Fields &\nLocals:  \n   DECLARE_LOCALS(&return); [line 10]\n " color=yellow style=filled]
	

	 1 -> 5 ;
}
