DB_READ
db->db_state = DB_READ;
while (db->db_state == DB_READ ||
ASSERT(db->db_state == DB_READ ||
while (db->db_state == DB_READ || db->db_state == DB_FILL)
if (db->db_state == DB_READ || db->db_state == DB_FILL) {
while (db->db_state == DB_READ || db->db_state == DB_FILL)
ASSERT3U(db->db_state, ==, DB_READ);
while (db->db_state == DB_READ ||