#include "perms.h"

                                                                //      1  %begin
#line 1 "13.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2    %integer fred, jim, i
_imp_current_line = 2; _imp_current_file = "13.imp";
#line 2 "13.imp"
int FRED;
#line 2 "13.imp"
int JIM;
#line 2 "13.imp"
int I;
                                                                //      3    %for fred = 1, 10, jim %cycle
_imp_current_line = 3; _imp_current_file = "13.imp";
#line 3 "13.imp"
{static int _initial, _increment, _final, _control;
_initial = 1; _increment = 10; _final = JIM; FRED = _control = _initial;
if (((_final-_initial) % _increment) != 0) _imp_signal(5,1,0,"Illegal cycle FRED = 1, 10, JIM");
FRED -= _increment; _control -= _increment;
L_0002:;
if (FRED == _final) goto L_0003;
FRED += _increment; _control += _increment;
if (FRED != _control) _imp_signal(4,2,0,"Corrupt control variable FRED"); /* FOR loop control variable corrupted */
}
                                                                //      4      %if i = 55 %then %continue
_imp_current_line = 4; _imp_current_file = "13.imp";
#line 4 "13.imp"
if (((I) != (55))) goto L_0005;
#line 4 "13.imp"
goto L_0004;
#line 4 "13.imp"
L_0005:;
                                                                //      5      %if i = 99 %then %exit
_imp_current_line = 5; _imp_current_file = "13.imp";
#line 5 "13.imp"
if (((I) != (99))) goto L_0006;
#line 5 "13.imp"
goto L_0003;
#line 5 "13.imp"
L_0006:;
                                                                //      6      i = i+1
_imp_current_line = 6; _imp_current_file = "13.imp";
#line 6 "13.imp"
I = (((int)(I)) + (1));
                                                                //      7    %repeat
_imp_current_line = 7; _imp_current_file = "13.imp";
#line 7 "13.imp"
L_0004:;
#line 7 "13.imp"
goto L_0002;
#line 7 "13.imp"
L_0003:;
                                                                //      8  %endofprogram
_imp_current_line = 8; _imp_current_file = "13.imp";
#line 8 "13.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 8 "13.imp"
// End of file
// COMPILE WITH: gcc12 -DVALGRIND_AVAILABLE -UPARM_OPT -DPARM_UNASS -DPARM_CHECK -O -g -ftrivial-auto-var-init=pattern -fmerge-constants -fno-strict-aliasing -Wall -Wno-unused-but-set-variable -Wno-unused-variable -Wno-unused-label -Wno-unused-function -Wno-maybe-uninitialized -Wno-uninitialized -frecord-gcc-switches -fsanitize=undefined -fsanitize=float-divide-by-zero -fsanitize-undefined-trap-on-error -fsanitize=float-cast-overflow -fno-sanitize-recover=all -fstack-protector -Wno-frame-address -fno-omit-frame-pointer -Wno-return-type -Wno-comment -ftrapv -ggdb3 -gdwarf-4 -I. -I.. -c -o 13.o 13.c -lm