let
set_pos env n pos =
Hashtbl
.add env.dfsp n pos; env