fork form https://github.com/awslabs/aws-templates-for-cbmc-proofs
fork from https://github.com/awslabs/aws-c-auth.git
fork from https://github.com/blogic/ucentral-tools.git