val dtd_dir : string lazy_t (* DTDs' root directory *)
val servers_file : string lazy_t (* servers.txt file *)
val port : int lazy_t (* port on which getter listens *)
val dtd_dir : string lazy_t (* DTDs' root directory *)
val servers_file : string lazy_t (* servers.txt file *)
val port : int lazy_t (* port on which getter listens *)