diff --git a/TestModels/aws-sdks/ddb/runtimes/rust/Cargo.toml b/TestModels/aws-sdks/ddb/runtimes/rust/Cargo.toml
new file mode 100644
index 000000000..7d4f268ec
--- /dev/null
+++ b/TestModels/aws-sdks/ddb/runtimes/rust/Cargo.toml
@@ -0,0 +1,26 @@
+[package]
+name = "aws_sdk_ddb"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[features]
+wrapped-client = []
+
+[dependencies]
+aws-sdk-dynamodb = "1.45.0"
+aws-smithy-runtime = {version = "1.6.0", features = ["client"] }
+aws-smithy-runtime-api = {version = "1.7.0", features = ["client"] }
+aws-smithy-types = "1.2.0"
+dafny_runtime = { path = "../../../../dafny-dependencies/dafny_runtime_rust"}
+
+[dev-dependencies]
+aws_sdk_ddb = { path = ".", features = ["wrapped-client"] }
+
+[dependencies.tokio]
+version = "1.26.0"
+features = ["full"]
+
+[lib]
+path = "src/implementation_from_dafny.rs"
diff --git a/TestModels/aws-sdks/kms/runtimes/rust/Cargo.toml b/TestModels/aws-sdks/kms/runtimes/rust/Cargo.toml
new file mode 100644
index 000000000..1e9fce0cd
--- /dev/null
+++ b/TestModels/aws-sdks/kms/runtimes/rust/Cargo.toml
@@ -0,0 +1,26 @@
+[package]
+name = "aws_sdk_ddb"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[features]
+wrapped-client = []
+
+[dependencies]
+aws-sdk-kms = "1.43.0"
+aws-smithy-runtime = {version = "1.6.0", features = ["client"] }
+aws-smithy-runtime-api = {version = "1.7.0", features = ["client"] }
+aws-smithy-types = "1.2.0"
+dafny_runtime = { path = "../../../../dafny-dependencies/dafny_runtime_rust"}
+
+[dev-dependencies]
+aws_sdk_ddb = { path = ".", features = ["wrapped-client"] }
+
+[dependencies.tokio]
+version = "1.26.0"
+features = ["full"]
+
+[lib]
+path = "src/implementation_from_dafny.rs"
diff --git a/codegen/build.gradle.kts b/codegen/build.gradle.kts
index c24da4b54..24bd35a7a 100644
--- a/codegen/build.gradle.kts
+++ b/codegen/build.gradle.kts
@@ -58,8 +58,8 @@ subprojects {
      */
 
     when (subproject.name) {
-        "smithy-dafny-codegen-test" -> print("Skipping publish for smithy-dafny-codegen-test")
-        "smithy-python-codegen" -> print("Skipping publish for smithy-python-codegen")
+        "smithy-dafny-codegen-test" -> println("Skipping publish for smithy-dafny-codegen-test")
+        "smithy-python-codegen" -> println("Skipping publish for smithy-python-codegen")
         else -> {
             if (subproject.name == "smithy-dafny-codegen-cli") {
                 apply(plugin = "application")