# File lib/innodb/util/buffer_cursor.rb, line 117
  def push_name(name_arg)
    current.name.push name_arg
  end