-/* Free heap-allocated memory for contents of POOL. This calls free()
- if the memory was allocated through malloc. It also restores
- `contents' and `size' to their original, pre-malloc values. That
- way after POOL_FREE, the pool is fully usable, just as if it were
- freshly initialized with POOL_INIT. */
+/* Free heap-allocated memory for contents of POOL. This calls
+ xfree() if the memory was allocated through malloc. It also
+ restores `contents' and `size' to their original, pre-malloc
+ values. That way after POOL_FREE, the pool is fully usable, just
+ as if it were freshly initialized with POOL_INIT. */