# File lib/innodb/page/index.rb, line 137
  def pos_supremum
    pos_infimum +
      size_record_header +
      size_mum_record_header_additional +
      size_mum_record
  end