##spec_module_body##