re-code AVL.