#include <perms.h>

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

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

  //     2
  //     3  %routine printarrayname1(%integerarray(1)%name A)

  void PRINTARRAYNAME1(int *A) {
    //     4  %end

    return;
  } /* end of PRINTARRAYNAME1 */

  // ?A unused
  //     5
  //     6  %integerarray RA1(0:1)

  int RA1[2];

  //     7
  //     8  printarrayname1(RA1)

  PRINTARRAYNAME1(RA1);

  //     9
  //    10  %integerarray(1)%name RAN1

  int *RAN1;

  //    11
  //    12  RAN1 == RA1

  RAN1 = (int *)RA1;

  //    13
  //    14  printarrayname1(RAN1)

  PRINTARRAYNAME1(RAN1);

  //    15
  //    16  %endofprogram

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