Static Interpretation of Modules