;; /tmp/bigloo/bdb/blib
;; Fri Dec 22 17:20:17 2023

(
  (__bdb_env "bigloo.bdb.env")
  (__bdb "bigloo.bdb.bdb")
)

