modularized imports in desugared copy