Why do we need to reopen the same module in the same file?