Zlo_deleting
} else if (zlo->state == Zlo_deleting) {
WRITE_ONCE(zlo->state, Zlo_deleting);
if (data_race(READ_ONCE(zlo->state)) == Zlo_deleting)