#include <perms.h>

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

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

  //     2    %integer i, i1, i2, i3

  int I;
  int I1;
  int I2;
  int I3;

  //     3    i = i1 %while i2 = i3

L_0001:;
  if (I2 != I3) goto L_0002;
  I = I1;
  goto L_0001;
L_0002:;

//     4    %while i2 = i3 %then i = i1

L_0003:;
  if (I2 != I3) goto L_0004;
  I = I1;
  goto L_0003;
L_0004:;

//     5  %endofprogram

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