void destruct(object o)
Mark an object as destructed.
Calls o->destroy(), and then clears all variables in the object.
All pointers and function pointers to this object will become zero. The destructed object will be freed from memory as soon as possible.