The text 3c6dd868fd30, as Debian 10 (Buster) shipped it.
resource management functions
rman_reserve_resource_bound(9freebsd) on Linux now
