if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do if a+2*f(7)+1 then goto label1 else while bool do goto 7