# File lib/innodb/page/index.rb, line 165
  def header_space
    # The end of the supremum system record is the beginning of the space
    # available for user records.
    pos_user_records
  end