offtab_current_window_end
(blkno < offtab_current_window_end(offtab)))
if (offtab_current_window_end(offtab) < start)
assert(blkno < offtab_current_window_end(offtab));
assert(blkno < offtab_current_window_end(offtab));
(blkno < offtab_current_window_end(offtab)))
assert(blkno < offtab_current_window_end(offtab));
assert(blkno < offtab_current_window_end(offtab));