module HasSubmodule {
    explicit module Sub {}
}