fork from https://github.com/awslabs/aws-checksums.git
fork from https://github.com/awslabs/aws-c-compression.git
fork from https://github.com/awslabs/aws-verification-model-for-libcrypto
fork form https://github.com/awslabs/aws-templates-for-cbmc-proofs