26 /* executed once        */  in Func_3()
33 		/* then, executed */  in Func_3()
36 		/* not executed */  in Func_3()
44 /* executed once */  in Proc_6()
49 		/* then, not executed */  in Proc_6()
64 	case Ident_3: /* executed */  in Proc_6()
78 /* executed three times                                      */  in Proc_7()
95 /* executed once      */  in Proc_8()
116 /* executed three times                                         */  in Func_1()
127 		/* then, executed */  in Func_1()
130 		/* not executed */  in Func_1()
139 /* executed once */  in Func_2()
148 		/* loop body executed once */  in Func_2()
151 			/* then, executed */  in Func_2()
157 		/* then, not executed */  in Func_2()
161 		/* then, not executed */  in Func_2()
164 		/* executed */  in Func_2()
166 			/* then, not executed */  in Func_2()
171 			/* executed */  in Func_2()