# File lib/innodb/page/index.rb, line 127
  def pos_infimum
    pos_records +
      size_record_header +
      size_mum_record_header_additional
  end