Expanded sanity check and read_prev/backward_write