3The including CONFIGURATION+ . declaration in the shown module will be explained in Section 17.8.