(progn
  (defparameter *bew*
    (generate-world
     "BE"
     '((lexer base-example-lexer
              :lalr-1
              :numeral
              ((:digit (#\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9)
                       ((value $digit-value))))
              (($digit-value integer digit-value digit-char-36)))
       
       (deftype semantic-exception (oneof syntax-error))
       
       (%charclass :digit)
       
       (rule :digits ((decimal-value integer)
                      (base-value (-> (integer) integer)))
         (production :digits (:digit) digits-first
           (decimal-value (value :digit))
           ((base-value (base integer))
            (let ((d integer (value :digit)))
              (if (< d base) d (throw (oneof syntax-error))))))
         (production :digits (:digits :digit) digits-rest
           (decimal-value (+ (* 10 (decimal-value :digits)) (value :digit)))
           ((base-value (base integer))
            (let ((d integer (value :digit)))
              (if (< d base)
                (+ (* base ((base-value :digits) base)) d)
                (throw (oneof syntax-error)))))))
       
       (rule :numeral ((value integer))
         (production :numeral (:digits) numeral-digits
           (value (decimal-value :digits)))
         (production :numeral (:digits #\# :digits) numeral-digits-and-base
           (value
            (let ((base integer (decimal-value :digits 2)))
              (if (and (>= base 2) (<= base 10))
                ((base-value :digits 1) base)
                (throw (oneof syntax-error)))))))
       (%print-actions)
       )))
  
  (defparameter *bel* (world-lexer *bew* 'base-example-lexer))
  (defparameter *beg* (lexer-grammar *bel*)))

#|
(depict-rtf-to-local-file
 "Test/BaseExampleSemantics.rtf"
 "Base Example Semantics"
 #'(lambda (rtf-stream)
     (depict-world-commands rtf-stream *bew*)))

(depict-html-to-local-file
 "Test/BaseExampleSemantics.html"
 "Base Example Semantics"
 t
 #'(lambda (html-stream)
     (depict-world-commands html-stream *bew*))
 :external-link-base "")


(lexer-pparse *bel* "37")
(lexer-pparse *bel* "33#4")
(lexer-pparse *bel* "30#2")

|#

(length (grammar-states *beg*))