#include <perms.h>

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

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

  //     2
  //     3    %integername ptr

  int *PTR;

  //     4
  //     5    %integermap intmap

  int *INTMAP(void) {
    //     6      %owninteger local

    static int LOCAL;

    //     7      %result == local

    return /*?*/ &LOCAL;

    //     8    %end

  } /* end of INTMAP */

  //     9
  //    10    %if intmap == ptr %then %stop


  /* clang-format off */
if (_imp_ADDR((void *)(INTMAP())) != _imp_ADDR((void *)(PTR))) goto L_0001;

  /* clang-format on */
  _imp_stop(0);
L_0001:;

//    11
//    12  %endofprogram

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