Properly reexported modules