
  TYPE
    dst$rdf_pointers = RECORD
      production_seq_p: ^SEQ ( * ),
      system_message_buffer_seq_p: ^SEQ ( * ),
      recovery_seq_p: ^SEQ ( * ),
      unused_seq_p: ^SEQ ( * ),
    RECEND;
