Symbol: extension_section