#include <perms.h>

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

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

  //     2     %integer x = 0

  int X;
  X = 0;

  //     3
  //     4     %routine inner

  void INNER(void) {
    //     5        x = 5

    X = 5;

    //     6     %end

    return;
  } /* end of INNER */

  //     7
  //     8     inner

  INNER();

  //     9     write(x,0);  newline

  _imp_WRITE(X, 0);
  _imp_NEWLINE();

  //    10  %end %of %program

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