let rdf_dbm = safe_getenv "HTTP_GETTER_RDF_DBM"
let xsl_dbm = safe_getenv "HTTP_GETTER_XSL_DBM"
let xml_index = safe_getenv "HTTP_GETTER_XML_INDEXNAME"
let rdf_index = safe_getenv "HTTP_GETTER_RDF_INDEXNAME"
let xsl_index = safe_getenv "HTTP_GETTER_XSL_INDEXNAME"
let rdf_dbm = safe_getenv "HTTP_GETTER_RDF_DBM"
let xsl_dbm = safe_getenv "HTTP_GETTER_XSL_DBM"
let xml_index = safe_getenv "HTTP_GETTER_XML_INDEXNAME"
let rdf_index = safe_getenv "HTTP_GETTER_RDF_INDEXNAME"
let xsl_index = safe_getenv "HTTP_GETTER_XSL_INDEXNAME"