The text 71203e5cd8c3, as Debian 10 (Buster) shipped it.
Deallocate the memory for a nested value
optionUnloadNested(3) on Linux now
