# File plruby.rb, line 1048
   def push(other)
   end