let
strongtimer =
Util
.
Timer
.create
"Strongdeps_int.strong"