extracting Lex Stein's "ocamlbdb" from Yoann Padioleau's "Logic File System"