A loaded module becomes current as soon as it is encountered, and a module can never lose the property of being current.