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

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