jbmc/src/miniz/miniz.cpp
src/cprover/wcwidth.c
src/nonstd/optional.hpp
unit/catch/catch.hpp
