dump_block_allocator_blocks
int dump_block_allocator_blocks(int argc, char** argv);
dump_block_allocator_blocks);
add_debugger_command("bfs_allocator_blocks", dump_block_allocator_blocks,
