If the lookup finds a single matching deallocation function, that function will be called; otherwise, no deallocation function will be called. When there're more than one potentially matching ...