@ariadne you can't prove that safety any more than you can prove anything in C

But making it opt in means you can't accidentally unload a library which does not support that.

Last time I talked to dalias that was always his contention about dlclose