3.11 Garbage Collection
This implementation relies on the incremental garbage-collector of
Objective Caml; it uses weak pointers for locations and definitions.
As a result, the GC can deallocate definitions and empty locations
that cannot be reached anymore from the running program.
However, it does not support distributed garbage-collection, which
prevents any name that has been sent to another runtime from being
deallocated. This can cause serious memory leaks in programs that
allocate numerous ``distributed'' values.