spec_module_body