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