#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %begin

int main(int argc, char **argv) { /*%begin*/
  _imp_initialise(argc, argv);

  //     2  %integer a,i,b

  int A;
  int I;
  int B;

  //     3
  //     4    %if a <= i <= b %start

  {
    // Double-sided test on I (Part I)
    int tmp;
    if (A > (tmp = I)) goto L_0001;
    // Double-sided test on I (Part II)
    if (tmp > B) goto L_0001;
  }

  //     5
  //     6    %finish

L_0001:;

//     7    a = b;

  A = B;

  //     8
  //     9  %endofprogram

  _imp_stop(0);
  return 0;
end_0:;
}