操StackOverflow,操OpenAI。
Element
Element'Class
Unchecked_Deallocation
procedure Free is new Ada.Unchecked_Deallocation(Element'Class, ElementPtr);