
  TYPE
    lot$loaded_entry_point_list = record
      number_of_entry_points: ost$non_negative_integers,
      container: ^array [ * ] of lot$loaded_entry_point,
    recend,

    lot$loaded_entry_point = record
      program_name: pmt$program_name,
      reference_ring: ost$valid_ring,
      loaded_address: pmt$loaded_address,
    recend;

*copyc osd$integer_limits
*copyc osd$virtual_address
*copyc pmt$loaded_address
*copyc pmt$program_name
