#include <perms.h>

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

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

  //     2  %routine do(%integername pointer)

  void DO(int *POINTER) {
    //     3  %end

    return;
  } /* end of DO */

  // ?POINTER unused
  //     4  %integername ptr

  int *PTR;

  //     5  do(ptr)

  DO(PTR);

  //     6  %endofprogram

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