
  TYPE
    pmt$default_prog_options_change = record
      contents: pmt$program_option_specifiers,
      map_file: amt$local_file_name,
      map_options: pmt$load_map_options,
      termination_error_level: pmt$termination_error_level,
      preset: pmt$initialization_value,
      maximum_stack_size: ost$segment_length,
      debug_input: amt$local_file_name,
      debug_output: amt$local_file_name,
      abort_file: amt$local_file_name,
      debug_mode: pmt$debug_mode,
      conditions_enabled: pmt$system_conditions,
      conditions_inhibited: pmt$system_conditions,
    recend,

    pmt$program_option_specifiers = set of pmt$program_option_specifier,

    pmt$program_option_specifier = pmc$load_map_file_specified ..
      pmc$condition_specified;

*copyc amt$local_file_name
*copyc osd$virtual_address
*copyc pmt$debug_mode
*copyc pmt$program_description
