/src/boost/libs/contract/example/meyer97/