let
kill_context where (hints,context) =
hint_context := hints ;
D
.kill where context