# File lib/innodb/page/index.rb, line 154
  def pos_user_records
    pos_supremum + size_mum_record
  end