let
reset_pos env n =
Hashtbl
.replace env.dfsp n 0; env