Export push and pop functions