#include <perms.h>

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

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

  //     2     %Integer K

  int K;

  //     3     %Integer %Map  Int Map

  int *INTMAP(void) {
    //     4        %Result == K

    return /*?*/ &K;

    //     5     %End   { of Int Map.

  } /* end of INTMAP */

  //     6  %endofprogram

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