Immutable AVL snippet