Copyright (c) 2011, Galois Inc.
Copyright (c) 2011, Battelle Memorial Institute
All rights reserved.

The Passage library is distributed with the BSD3 license. See the LICENSE file
for details.