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