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