Copyright (c) 2008-2019 MongoDB, Inc. All rights reserved. Contact info@wiredtiger.com for more information.