Stylewise, I tried to avoid polluting the local namespace, thus using only "import $MODULE". I think in this case it's probably ok