let
reset_scratch_context () =
scratch :=
Context
.empty