[PATCH 1/2] include: Correct definition of PRTL_AVL_ALLOCATE_ROUTINE