The text 9c2bb1d3bd4b, as Debian 7 (Wheezy) shipped it.
release a previously reserved resource
release_resource(9) on Linux now
