#include <perms.h>

//          Edinburgh IMP77 Compiler - Version 8.4
//
//     1  %recordformat stackfm(%integer depth)

struct STACKFM {
  union {
    struct {
      int DEPTH;
    };
  };
};

//     2
//     3  %externalroutine dumprv(%record(stackfm)%name v)

void DUMPRV(struct STACKFM *V) {
  //     4  %end

  return;
} /* end of DUMPRV */

// ?V unused
//     5
//     6  %endoffile