procedimiento genérico Ada.Unchecked_Deallocation , el cual se instancia con los tipos de objeto y de puntero, y se le llama pasándole punteros.