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