NODE_ABSENT
if (thrash_state[index] != NODE_ABSENT)
if (thrash_state[index] == NODE_ABSENT)
assert(thrash_state[index] != NODE_ABSENT);
thrash_state[index] = NODE_ABSENT;
case NODE_ABSENT: