Added builtin 'push' function