#lang plai-dynamic
(define (add x y)
      (+ x y))

(let ([+ -])
    (add 1 2))