anchor.diff:  ;;; Abstract EBNF syntax
   ;;;
   
  -(defun definitions-list () nil) ; Suppress warning
  +;; Suppress warning
  +(declaim (ftype function definitions-list))
   
   (grammar-rule optional-sequence
     "see 4.11"
  
positive.code: (grammar-rule terminal-string
    "see 4.16"
    (grammar-or
     (grammar-and first-quote-symbol
                  first-terminal-character
                  (grammar-* first-terminal-character)
                  first-quote-symbol)
     (grammar-and second-quote-symbol
                  second-terminal-character
                  (grammar-* second-terminal-character)
                  second-quote-symbol)))
  
  (grammar-rule gap-free-symbol
    "see 6.3"
  
negative.code:   (grammar-and start-group-symbol
                 definitions-list
                 end-group-symbol))
  
  (grammar-rule empty-sequence
    "see 4.14"
  