anchor.diff:  
   (defun choose-1-1 (f x) 
     (funcall f (quotient-element x)))
  +
  +(define-compiler-macro choose-1-1 (f x)
  +  `(funcall ,f (quotient-element ,x)))
   
   #|
     
  
positive.code: ;;  Specware4/Languages/MetaSlang/CodeGen/Lisp/SpecToLisp.sw
  
  (defpackage "SPECCALC")
  (defpackage :SLANG-BUILT-IN)
  (IN-PACKAGE :SLANG-BUILT-IN)
  
  
negative.code: (defun implies-2 (x y) 
    (or (not x) y))
  
  ;; Optimization
  (define-compiler-macro LIST-SPEC::|!length| (l)
    `(length ,l))
  
  #|
  
   Tests:
  