module_extension

A module extension.