let
flush_context where context p =
L
.flush where context p