For in-use inodes, each address in use is also marked in use in the bitmap. If not,
print ERROR: address used by inode but
void check_alloced_blocks_marked() {
// List code here
}