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