
  TYPE
    pmt$loadable_rings = set of pmt$loadable_ring,
    pmt$loadable_ring = ost$valid_ring;

*copyc OSD$VIRTUAL_ADDRESS
