implement exec-addi