#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %routine printarray(%integerarray(3)%name A)

static void PRINTARRAY(int *A) {
  //     2  %end

  return;
} /* end of PRINTARRAY */

// ?A unused
//     3  %endoffile