((shared-module-extension "@module_extension@"))