IMP traslation in modules