#include <perms.h>

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

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

  //     2    %integer big = 16_7FFFFFF0

  int BIG;
  BIG = 2147483632;

  //     3    %integer medium  ;! UNASSIGNED!

  int MEDIUM;

  //     4    %integer I

  int I;

  //     5    I = big+medium   ;! SHOULD ERROR!

  I = BIG + MEDIUM;

  //     6    WRITE(I,0)

  _imp_WRITE(I, 0);

  //     7    NEWLINE

  _imp_NEWLINE();

  //     8  %endofprogram

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