let flush_context where (hints,context) p =
    hint_context := hints ; D.flush where context p