(define-external make-dfsm dfsm)
(define-external make-pixmap-button buttons)
(define-external make-text-button buttons)
(define-external make-toggle-button buttons)