Symbol: alloc_tag_module_section