anchor.diff:                       (format s "~%/* Each function must return 0 for an occuring terminal and nonzero otherwise */~%~%")
                        (do-finite-set (z (finite-set-add (fa-terminals fa) halt-function))
                          (format s "~&/* Terminal Symbol function for \"~A\" */~&" z)
  -                       (format s "~&~:[~;static ~]int ~A( ~A context ) {~%~%~%}~%~%" static-functions (csymbol z) context-type)))
  +                       (funcall print-stub s z context-type "context")))
  +                       ;(format s "~&~:[~;static ~]int ~A( ~A context ) {~%~%~%}~%~%" static-functions (csymbol z) context-type)))
                      output))
   
   (defun fa->c-parser (fa &key
  
positive.code:            do (case c
                  (#\- (putchars #\_))
                  (#\= (putchars "_equal_"))
                  (#\( (putchars "_lp_"))
                  (#\) (putchars "_rp_"))
                  (otherwise (putchars c))))))))
  
  
  
  (defun fa->c-stub (fa &key
                     output
                     (halt-function "halt")
                     (static-functions t)
                     (context-type "void*"))
    (output-function (lambda (s)
                       (format s "~&/************************************/~&")
                       (format s "~&/* STUB FUNCTIONS FOR MOTION PARSER */~&")
  
negative.code:                          (do-finite-set (z (fa-terminals fa))
                             (let ((q1 (funcall mover q0 z)))
                               (when q1
                                 (format s "~&		if( 0 == ~A ) goto state~A;~&"
                                         (print-c-parser-funcall nil z "context") q1))))
                           (when (finite-set-inp q0 (fa-accept fa))
                             (format s "~&		if( 0 == ~A( context ) ) return 0;~&" halt-function))
                           (format s "~&		return -1;~&"))
  