[ocaml-ctypes] Lifetime of Ctypes allocation

[Markus Müller]

Dear Jeremy,

> The GC is free to collect values that are no longer reachable by the
> program, even if there are references to them still "in scope".  Since
> 'a' is not used after the call to Gc.full_major, the collector can
> ignore 'a' when determining whether values are reachable.

Thanks for the clarification. This explains it.

Best regards,
Markus