Symbol: codetag_needs_module_section