High performance C implementation of AVL trees