#include <perms.h>

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

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

  //     2    %integername iptr

  int *IPTR;

  //     3    %integer i=1,j=2,k=3

  int I;
  I = 1;
  int J;
  J = 2;
  int K;
  K = 3;

  //     4    iptr == i

  IPTR = (int *)/*?*/ &I;

  //     5    %if iptr == j %start


  /* clang-format off */
if (_imp_ADDR((void *)(IPTR)) != _imp_ADDR((void *)(/*?*/&J))) goto L_0001;

    /* clang-format on */

    //     6      iptr = j

  *IPTR = J;

  //     7    %finish

L_0001:;

//     8    %if iptr = k %start

  if (*IPTR != K) goto L_0002;

    //     9      iptr = k

  *IPTR = K;

  //    10    %finish

L_0002:;

//    11  %endofprogram

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