gitdir: ../../../../../../../.git/modules/aws-common-runtime/aws-crt-cpp/modules/crt/s2n/modules/cbmc-templates
