! Copyright (C) 2020 Doug Coleman.
! See https://factorcode.org/license.txt for BSD license.
IN: rocksdb