#include <perms.h>

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

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

  //     2
  //     3  %integer x

  int X;

  //     4
  //     5  %routine test7(%integerarrayname xran1)

  void TEST7(int *XRAN1) {
    //     6    xran1(4) = x

    [/*BUG*/ 0] = X;

    //     7    x = xran1(4)

    X = [/*BUG*/ 0];

    //     8  %end

    return;
  } /* end of TEST7 */

  //     9
  //    10  %integerarray ra(0:9)

  int RA[10];

  //    11  test7(ra)

  TEST7(RA);

  //    12
  //    13  %endofprogram

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