#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, b, c

  int A;
  int B;
  int C;

  //     3    %if a <= b < c %start

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

  //     4    %finish

L_0001:;

//     5  %endofprogram

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