( (def value 12) (def addOne (lambda (a) (add a 1))) )