/src/include/
../
cvc4_config.h
cvc4_private.h
cvc4parser_private.h