[sneak]

I'd agree with you, except that in this case the API call is called "destroy". Were it called "deallocate", this would be a different story.