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