anchor.diff:  (defun interp-toplevel (x &key timeout)
     (unless (smackprop-p t 'global-val)
       (init-smack-interp))
  +  (set-internal-var 'call-depth 0)
     (trivial-timeout:with-timeout (timeout)
       (let ((env (extend-env '(-) (list x) nil)))
         (let ((vals (multiple-value-list (interp x env nil))))
  
positive.code:   (set-global-var '// nil)
    (set-global-var '/ nil)
    (set-global-var '- nil))
  
  
  (defun link-smack-cl-function (fname &optional cl-name)
  
negative.code: 
  
  (defparameter *smack-constants*
    '(
      ARRAY-DIMENSION-LIMIT ARRAY-RANK-LIMIT ARRAY-TOTAL-SIZE-LIMIT BOOLE-1 BOOLE-2
      BOOLE-AND BOOLE-ANDC1 BOOLE-ANDC2 BOOLE-C1 BOOLE-C2 BOOLE-CLR BOOLE-EQV
      BOOLE-IOR BOOLE-NAND BOOLE-NOR BOOLE-ORC1 BOOLE-ORC2 BOOLE-SET BOOLE-XOR
  