- /* mark user pointer invalid */
- /* TODO: Is this really safe? It points to some previous caller's memory.
- * How could we know that the area pointer is still in that place and not
- * some other vital data? What's the purpose of this, anyway? */
- *area->user = NULL;
- area->user = NULL;
-