(declare (uses mod1))
(declare (uses mod2))