Symbol: exec_add