sig val document_dir : string Pervasives.ref val cgibin_prefix : string Pervasives.ref val demo_init : string -> unit end