Symbol: ec_add