Symbol: emit_section