submodule sub4 {

    belongs-to mod4 {

        // missing prefix statement

    }

}