The text 01a5a82cbc1c, as Debian 7 (Wheezy) shipped it.
resource management functions
rman_set_virtual(9freebsd) on Linux now