Import user-defined module

Import user-defined module.

> I agree. I say it is "dynamic" because there is aliasing. It just happens that
> in this case a powerful static analysis (aliasing) can statically decide. Now
> what are you suggesting ? I can just include any function referenced and not
> only called, would it do the trick?

Yes :-)