let
mem c t =
TimerSubset
.start ();
let
res = mem c t
in
TimerSubset
.pause (); res