An example of an extension with multiple modules