{
{ BAI$VALIDATE_RECORD_HEADER
{
{ This code does validation of a record header.
{ Validation is attempted at record_info.current_byte_address.
{ record_info.current_byte_address must be set by caller.

  record_header := #ADDRESS (osc$min_ring, #SEGMENT (file_instance^.file_pva),
        record_info.current_byte_address);

  IF (record_header^.unique_id = bac$record_header_unique_id) { } AND
        (record_header^.length <= UPPERVALUE (record_header^.length)) { } AND
        (record_header^.length >= LOWERVALUE (record_header^.length)) { } AND
        (record_header^.previous_header_fba <=
        UPPERVALUE (record_header^.previous_header_fba)) { } AND
        (record_header^.previous_header_fba >=
        LOWERVALUE (record_header^.previous_header_fba)) { } AND
        (record_header^.header_type <= UPPERVALUE (record_header^.header_type))
        { } AND (record_header^.header_type >=
        LOWERVALUE (record_header^.header_type)) THEN
    record_info.bor_address := record_info.current_byte_address;
  ELSE
    amp$set_file_instance_abnormal (file_identifier,
          ame$improper_record_header, call_block.operation, error_text,
          status);
  IFEND;

{ end of BAI$VALIDATE_RECORD_HEADER
{

