state_htab_size
return &env->explored_states[(idx ^ state->callsite) % state_htab_size(env)];
for (i = 0; i < state_htab_size(env); i++) {
state_htab_size(env),
for (i = 0; i < state_htab_size(env); i++)