
  TYPE
    oct$corrector_header = record
      version: string (28),  {occ$corrector_header_version
      number_of_correctors: oct$number_of_correctors,
      size: oct$corrector_size,
    recend,

    oct$number_of_correctors = 0 .. occ$max_number_of_correctors,

    oct$corrector_header_v1_0 = record
      number_of_correctors: oct$number_of_correctors_v1_0,
      size: oct$corrector_size,
    recend,

    oct$number_of_correctors_v1_0 = 0 .. 0ffff(16),

    oct$corrector_item = record
      bytes_ok: oct$offset,
      bytes_to_delete: - (7fffffff(16) + 1) .. 7fffffff(16),
      bytes_to_insert: - (7fffffff(16) + 1) .. 7fffffff(16),
    recend,

    oct$new_bytes = array [1 .. *] of 0 .. 0ff(16),

    oct$corrector_index = 1 .. occ$max_number_of_correctors,
    oct$corrector_size = 0 .. 7fffffff(16);

*copyc oct$offset
*copyc occ$corrector
