
  CONST
    occ$maximum_externals = 0ffffffff(16);

  TYPE
    oct$symbol_table_header = record
      version: string (9),
      id: ost$name,
      number_of_symbols: 0 .. occ$maximum_externals,
    recend;

*copyc ost$name
