a trivial update, implement a treap