The text 0af765ef4123, as Debian 8 (Jessie) shipped it.
allocate bitmap region
bitmap_allocate_region(9) on Linux now
