Symbol: emit_add