dump_block_allocator
int dump_block_allocator(int argc, char** argv);
remove_debugger_command("bfs_allocator", dump_block_allocator);
add_debugger_command("bfs_allocator", dump_block_allocator,
