DISK_LEAF_NODE_LEVEL
#define LEAF CACHE (DISK_LEAF_NODE_LEVEL)
if (INFO->tree_depth == DISK_LEAF_NODE_LEVEL)
depth = DISK_LEAF_NODE_LEVEL;
while (depth > DISK_LEAF_NODE_LEVEL);
while (depth > DISK_LEAF_NODE_LEVEL)
block_read (INFO->blocks[DISK_LEAF_NODE_LEVEL],