(require :lojban-dot)
(lojban-dot:restart-lojban-dot)