
  TYPE
    dst$pp_header_descriptor = RECORD
      load_address: dst$pp_word,
      cm_word_length: dst$pp_word,
      overlay_number: dst$pp_word,
      CASE boolean OF
      = TRUE =
        overlay_offset: dst$pp_word,
      = FALSE =
        checksum: dst$pp_word,
      CASEND,
    RECEND,

    dst$pp_word = 0 .. 0ffff(16);
