{
{ BAI$POSITION_TO_NEXT_BLK_HDR
{
{ Positions to the start of next block header if not currently
{ positioned at the start of a block header.
{ Will always return updated block_info, ^block_header, and file_byte_address.
{ The block_header will always be validated.

  IF file_byte_address MOD file_instance^.global_file_information^.
        max_block_size <> 0 THEN
    file_byte_address := block_info.current_block_byte_address +
          file_instance^.global_file_information^.max_block_size;
    block_info.previous_block_header_fba :=
          block_info.current_block_byte_address;
    block_info.current_block_byte_address := file_byte_address;
    block_info.block_number := block_info.block_number + 1;
  ELSE { on a block_header, check block number }
    IF (file_byte_address DIV file_instance^.global_file_information^.
          max_block_size) <> block_info.block_number THEN
*copy   bai$update_block_info_from_fba
    IFEND;
  IFEND;
  block_header := #ADDRESS (osc$min_ring, #SEGMENT (file_instance^.file_pva),
        file_byte_address);

{ NOTE: current_block_length must be set by the fap using
{ block_header^.block_length, after validating the header.
{
{ end of BAI$POSITION_TO_NEXT_BLK_HDR
{
