
  TYPE
    dst$boot_data_kinds = (dsc$pp_library, dsc$dcfile_data, dsc$mau_list,
       dsc$io_environment, dsc$io_buffer, dsc$system_device_data,
       dsc$transfer_counts, dsc$controlware_loaded_flags, dsc$boot_asids,
       dsc$system_messages, dsc$boot_system_ds_status, dsc$bdk_spare_3,
       dsc$bdk_spare_4, dsc$bdk_spare_5, dsc$bdk_spare_6);

   TYPE
     dst$boot_asids = RECORD
       code_data: integer,
       job_stack: integer,
       mtr_stack: integer,
       spare: integer,
     RECEND;
