
(in-package dump)
(EVAL-WHEN (COMPILE LOAD EVAL)
                       (DATABASE:MAKESYMS '.%%symbol-label%%. 0 5 "dump"))

(setq database:*db-input* (setq .%%symbol-label%%.2 (make-instance 'pail-lib::poolfile :real-contents (list (setq .%%symbol-label%%.3 (make-instance 'pail-lib:pool-item :name-part "hanoiop" :start-object (pail-lib::get-file-object "hanoiop"))) (setq .%%symbol-label%%.4 (make-instance 'pail-lib:pool-item :name-part "hstart" :start-object (pail-lib::get-file-object "hstart"))) (setq .%%symbol-label%%.5 (make-instance 'pail-lib:pool-item :name-part "hfinish" :start-object (pail-lib::get-file-object "hfinish"))) (setq .%%symbol-label%%.6 (make-instance 'pail-lib:pool-item :name-part "hanoiblox" :start-object (pail-lib::get-file-object "hanoiblox")))) :contents (list (setq .%%symbol-label%%.7 (make-instance 'pail-lib::filentry :classname "op-set" :poolname "hanoiop")) (setq .%%symbol-label%%.8 (make-instance 'pail-lib::filentry :classname "working-memory" :poolname "hstart")) (setq .%%symbol-label%%.9 (make-instance 'pail-lib::filentry :classname "working-memory" :poolname "hfinish")) (setq .%%symbol-label%%.10 (make-instance 'pail-lib::filentry :classname "world-desc" :poolname "hanoiblox"))) :filename "")))