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