# File lib/readline.rb, line 373
    def self.push(*args)
      args.each do |str|
        RbReadline.add_history(str)
      end
    end