LMDB and Referential transparency