dafny (aws-cryptographic-material-providers 1.0.2 API)