let
clear_leaks state = { state
with
leaks =
Leaks
.empty }