The text 67b442c90ccc, as Debian 7 (Wheezy) shipped it.
allocate bitmap region
bitmap_allocate_region(9) on Linux now
