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