/build/ /cbuild/ /clang_build/ /arm_build/ /bench/ /vbuild/ /check_build/ /benchmark_images/ /subprojects/*/ /.vscode/ /.frama-c/ /trash/ /tests/formal/ /site/