#include <perms.h>

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

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

  //     2
  //     3    %constinteger v2 = 123
  //     4
  //     5    %integer v1 = 123

  int V1;
  V1 = 123;

  //     6
  //     7  %endofprogram

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