#include "perms.h"

                                                                //      1  %begin
#line 1 "2.imp"
int main(int argc, char **argv) {
  __label__ _imp_endofblock;
  _imp_initialise(argc, argv);
                                                                //      2    %integer int var
_imp_current_line = 2; _imp_current_file = "2.imp";
#line 2 "2.imp"
int INTVAR;
                                                                //      3    int var = 1
_imp_current_line = 3; _imp_current_file = "2.imp";
#line 3 "2.imp"
INTVAR = 1;
                                                                //      4    %if int var <= 2 %then %start
_imp_current_line = 4; _imp_current_file = "2.imp";
#line 4 "2.imp"
if (((INTVAR) > (2))) goto L_0002;
                                                                //      5      int var = 3
_imp_current_line = 5; _imp_current_file = "2.imp";
#line 5 "2.imp"
INTVAR = 3;
                                                                //      6    %finish
_imp_current_line = 6; _imp_current_file = "2.imp";
#line 6 "2.imp"
L_0002:;
                                                                //      7    %if int var < 2 %then %start
_imp_current_line = 7; _imp_current_file = "2.imp";
#line 7 "2.imp"
if (((INTVAR) >= (2))) goto L_0003;
                                                                //      8      int var = 3
_imp_current_line = 8; _imp_current_file = "2.imp";
#line 8 "2.imp"
INTVAR = 3;
                                                                //      9    %finish
_imp_current_line = 9; _imp_current_file = "2.imp";
#line 9 "2.imp"
L_0003:;
                                                                //     10    %if int var = 2 %then %start
_imp_current_line = 10; _imp_current_file = "2.imp";
#line 10 "2.imp"
if (((INTVAR) != (2))) goto L_0004;
                                                                //     11      int var = 3
_imp_current_line = 11; _imp_current_file = "2.imp";
#line 11 "2.imp"
INTVAR = 3;
                                                                //     12    %finish
_imp_current_line = 12; _imp_current_file = "2.imp";
#line 12 "2.imp"
L_0004:;
                                                                //     13    %if int var > 2 %then %start
_imp_current_line = 13; _imp_current_file = "2.imp";
#line 13 "2.imp"
if (((INTVAR) <= (2))) goto L_0005;
                                                                //     14      int var = 3
_imp_current_line = 14; _imp_current_file = "2.imp";
#line 14 "2.imp"
INTVAR = 3;
                                                                //     15    %finish
_imp_current_line = 15; _imp_current_file = "2.imp";
#line 15 "2.imp"
L_0005:;
                                                                //     16    %if int var >= 2 %then %start
_imp_current_line = 16; _imp_current_file = "2.imp";
#line 16 "2.imp"
if (((INTVAR) < (2))) goto L_0006;
                                                                //     17      int var = 3
_imp_current_line = 17; _imp_current_file = "2.imp";
#line 17 "2.imp"
INTVAR = 3;
                                                                //     18    %finish
_imp_current_line = 18; _imp_current_file = "2.imp";
#line 18 "2.imp"
L_0006:;
                                                                //     19    %if int var # 2 %then %start
_imp_current_line = 19; _imp_current_file = "2.imp";
#line 19 "2.imp"
if (((INTVAR) == (2))) goto L_0007;
                                                                //     20      int var = 3
_imp_current_line = 20; _imp_current_file = "2.imp";
#line 20 "2.imp"
INTVAR = 3;
                                                                //     21    %finish
_imp_current_line = 21; _imp_current_file = "2.imp";
#line 21 "2.imp"
L_0007:;
                                                                //     22  %endofprogram
_imp_current_line = 22; _imp_current_file = "2.imp";
#line 22 "2.imp"
return 0;
_imp_endofblock: ;
} // End of block _imp_main at level 1
#line 22 "2.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 2.o 2.c -lm