# File lib/innodb/util/buffer_cursor.rb, line 362
  def get_ic_uint64
    name("ic_uint64") {
      high = name("high") { get_ic_uint32 }
      low  = name("low")  { name("uint32") { get_uint32 } }

      (high << 32) | low
    }
  end