diff --git a/Cargo.lock b/Cargo.lock
index 62e85ffa12..57983d1d7d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -124,7 +124,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "anyhow",
  "c2rust-build-paths",
@@ -140,7 +140,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-analysis-rt"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "bincode",
  "enum_dispatch",
@@ -151,7 +151,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-analyze"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "assert_matches",
  "bitflags",
@@ -164,11 +164,11 @@ dependencies = [
 
 [[package]]
 name = "c2rust-asm-casts"
-version = "0.16.0"
+version = "0.17.0"
 
 [[package]]
 name = "c2rust-ast-builder"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "proc-macro2",
  "syn",
@@ -176,7 +176,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-ast-exporter"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "bindgen",
  "c2rust-build-paths",
@@ -191,7 +191,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-ast-printer"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "log",
  "prettyplease",
@@ -201,7 +201,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-bitfields"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "c2rust-bitfields-derive",
  "libc",
@@ -209,7 +209,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-bitfields-derive"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -218,14 +218,14 @@ dependencies = [
 
 [[package]]
 name = "c2rust-build-paths"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "print_bytes",
 ]
 
 [[package]]
 name = "c2rust-instrument"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "anyhow",
  "bincode",
@@ -245,7 +245,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-pdg"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "bincode",
  "c2rust-analysis-rt",
@@ -265,7 +265,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-transpile"
-version = "0.16.0"
+version = "0.17.0"
 dependencies = [
  "c2rust-ast-builder",
  "c2rust-ast-exporter",
diff --git a/Cargo.toml b/Cargo.toml
index 8676032673..4ccb397615 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -23,7 +23,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.16.0"
+version = "0.17.0"
 authors = ["The C2Rust Project Developers <c2rust@immunant.com>"]
 edition = "2021"
 readme = "README.md"
diff --git a/analysis/tests/lighttpd-minimal/Cargo.toml b/analysis/tests/lighttpd-minimal/Cargo.toml
index 08b27690a7..ecb1f2463a 100644
--- a/analysis/tests/lighttpd-minimal/Cargo.toml
+++ b/analysis/tests/lighttpd-minimal/Cargo.toml
@@ -5,7 +5,7 @@ edition = "2021"
 
 [dependencies]
 libc = "0.2"
-c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.16.0" }
+c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.17.0" }
 
 [features]
 miri = []
diff --git a/analysis/tests/lighttpd/Cargo.toml b/analysis/tests/lighttpd/Cargo.toml
index 137fb34d05..16996000ca 100644
--- a/analysis/tests/lighttpd/Cargo.toml
+++ b/analysis/tests/lighttpd/Cargo.toml
@@ -5,7 +5,7 @@ edition = "2021"
 
 [dependencies]
 libc = "0.2"
-c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.16.0" }
+c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.17.0" }
 
 [features]
 miri = []
diff --git a/analysis/tests/misc/Cargo.toml b/analysis/tests/misc/Cargo.toml
index ec383d439a..d9065fa273 100644
--- a/analysis/tests/misc/Cargo.toml
+++ b/analysis/tests/misc/Cargo.toml
@@ -7,7 +7,7 @@ edition = "2021"
 
 [dependencies]
 libc = "0.2"
-c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.16.0" }
+c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.17.0" }
 
 [features]
 miri = []
diff --git a/c2rust-analyze/Cargo.toml b/c2rust-analyze/Cargo.toml
index 2055c8fc3c..1eb7a0a28e 100644
--- a/c2rust-analyze/Cargo.toml
+++ b/c2rust-analyze/Cargo.toml
@@ -19,11 +19,11 @@ assert_matches = "1.5.0"
 indexmap = "1.9.2"
 
 [build-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" }
+c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
 print_bytes = "1.1"
 
 [dev-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" }
+c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
 
 [package.metadata.rust-analyzer]
 rustc_private = true
diff --git a/c2rust-ast-exporter/Cargo.toml b/c2rust-ast-exporter/Cargo.toml
index 46e9a9bddc..4da2cfe626 100644
--- a/c2rust-ast-exporter/Cargo.toml
+++ b/c2rust-ast-exporter/Cargo.toml
@@ -23,7 +23,7 @@ bindgen = { version = "0.63", features = ["logging"] }
 clang-sys = "1.3"
 cmake = "0.1.49"
 env_logger = "0.10"
-c2rust-build-paths = { path = "../c2rust-build-paths" }
+c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
 
 [features]
 default = []
diff --git a/c2rust-bitfields/Cargo.toml b/c2rust-bitfields/Cargo.toml
index 3627d9e0a1..c84aff9c84 100644
--- a/c2rust-bitfields/Cargo.toml
+++ b/c2rust-bitfields/Cargo.toml
@@ -12,7 +12,7 @@ keywords.workspace = true
 categories.workspace = true
 
 [dependencies]
-c2rust-bitfields-derive = { version = "0.16.0", path = "../c2rust-bitfields-derive" }
+c2rust-bitfields-derive = { version = "0.17.0", path = "../c2rust-bitfields-derive" }
 
 [dev-dependencies]
 libc = "0.2"
diff --git a/c2rust-macros/Cargo.toml b/c2rust-macros/Cargo.toml
index 9f2bfd4654..1c13d85bad 100644
--- a/c2rust-macros/Cargo.toml
+++ b/c2rust-macros/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "c2rust-macros"
-version = "0.16.0"
+version = "0.17.0"
 authors = ["Stephen Crane <sjc@immunant.com>", "The C2Rust Project Developers <c2rust@immunant.com>"]
 edition = "2021"
 description = "Procedural macro support crate for C2Rust"
diff --git a/c2rust-refactor/Cargo.toml b/c2rust-refactor/Cargo.toml
index c275810b6d..e4d4d9c208 100644
--- a/c2rust-refactor/Cargo.toml
+++ b/c2rust-refactor/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "c2rust-refactor"
-version = "0.16.0"
+version = "0.17.0"
 authors = [
   "The C2Rust Project Developers <c2rust@immunant.com>",
   "Stuart Pernsteiner <spernsteiner@galois.com>",
@@ -17,18 +17,18 @@ json = "0.12"
 libc = "0.2"
 regex = "1.1"
 ena = "0.13"
-c2rust-ast-builder = { version = "0.16.0", path = "../c2rust-ast-builder" }
-c2rust-ast-printer = { version = "0.16.0", path = "../c2rust-ast-printer" }
+c2rust-ast-builder = { version = "0.17.0", path = "../c2rust-ast-builder" }
+c2rust-ast-printer = { version = "0.17.0", path = "../c2rust-ast-printer" }
 indexmap = { version = "1.0.1", features = ["serde-1"] }
 cargo = "0.44"
 clap = {version = "2.33", features = ["yaml"]}
-c2rust-analysis-rt = { path = "../analysis/runtime" }
+c2rust-analysis-rt = { path = "../analysis/runtime" , version = "0.17.0" }
 env_logger = "0.10"
 log = "0.4"
 rlua = "0.17"
 slotmap = {version = "0.4", features = ["unstable"]}
 derive_more = "0.99"
-c2rust-macros = { version = "0.16.0", path = "../c2rust-macros" }
+c2rust-macros = { version = "0.17.0", path = "../c2rust-macros" }
 flame = { version = "0.2.2", optional = true }
 flamer = { version = "0.4", optional = true }
 failure = "0.1"
diff --git a/c2rust-refactor/runtime/Cargo.toml b/c2rust-refactor/runtime/Cargo.toml
index 3938c5dc1a..94a2195a39 100644
--- a/c2rust-refactor/runtime/Cargo.toml
+++ b/c2rust-refactor/runtime/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "c2rust_runtime"
-version = "0.1.0"
+version = "0.17.0"
 authors = ["Stuart Pernsteiner <spernsteiner@galois.com>"]
 edition = "2021"
 
diff --git a/c2rust-transpile/Cargo.toml b/c2rust-transpile/Cargo.toml
index c512c49172..aad37e2bcf 100644
--- a/c2rust-transpile/Cargo.toml
+++ b/c2rust-transpile/Cargo.toml
@@ -12,10 +12,10 @@ keywords.workspace = true
 categories.workspace = true
 
 [dependencies]
-c2rust-ast-builder = { version = "0.16.0", path = "../c2rust-ast-builder" }
-c2rust-ast-exporter = { version = "0.16.0", path = "../c2rust-ast-exporter" }
-c2rust-ast-printer = { version = "0.16.0", path = "../c2rust-ast-printer" }
-c2rust-bitfields = { version = "0.16.0", path = "../c2rust-bitfields" }
+c2rust-ast-builder = { version = "0.17.0", path = "../c2rust-ast-builder" }
+c2rust-ast-exporter = { version = "0.17.0", path = "../c2rust-ast-exporter" }
+c2rust-ast-printer = { version = "0.17.0", path = "../c2rust-ast-printer" }
+c2rust-bitfields = { version = "0.17.0", path = "../c2rust-bitfields" }
 colored = "2.0"
 dtoa = "1.0"
 failure = "0.1.5"
diff --git a/c2rust/Cargo.toml b/c2rust/Cargo.toml
index 8eb6d6907b..e4380c1bae 100644
--- a/c2rust/Cargo.toml
+++ b/c2rust/Cargo.toml
@@ -25,10 +25,10 @@ is_executable = "1.0"
 log = "0.4"
 regex = "1.3"
 shlex = "1.1"
-c2rust-transpile = { version = "0.16.0", path = "../c2rust-transpile" }
+c2rust-transpile = { version = "0.17.0", path = "../c2rust-transpile" }
 
 [build-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" }
+c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
 
 [features]
 # Force static linking of LLVM
diff --git a/dynamic_instrumentation/Cargo.toml b/dynamic_instrumentation/Cargo.toml
index 1f98837505..fdebe06223 100644
--- a/dynamic_instrumentation/Cargo.toml
+++ b/dynamic_instrumentation/Cargo.toml
@@ -14,7 +14,7 @@ categories.workspace = true
 [dependencies]
 anyhow = "1.0"
 bincode = "1.0.1"
-c2rust-analysis-rt = { path = "../analysis/runtime"}
+c2rust-analysis-rt = { path = "../analysis/runtime", version = "0.17.0" }
 indexmap = "1.9"
 itertools = "0.10"
 once_cell = "1.13"
@@ -29,7 +29,7 @@ env_logger = "0.10"
 tempfile = "3.3"
 
 [build-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" }
+c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
 
 [package.metadata.rust-analyzer] 
 rustc_private = true
diff --git a/examples/robotfindskitten/repo/rust/Cargo.toml b/examples/robotfindskitten/repo/rust/Cargo.toml
index 7ee79186ef..81c4eae3a6 100644
--- a/examples/robotfindskitten/repo/rust/Cargo.toml
+++ b/examples/robotfindskitten/repo/rust/Cargo.toml
@@ -9,7 +9,7 @@ name = "robotfindskitten"
 path = "src/robotfindskitten.rs"
 
 [dependencies]
-c2rust_runtime = { path = "../../../../c2rust-refactor/runtime" }
+c2rust_runtime = { path = "../../../../c2rust-refactor/runtime" , version = "0.17.0" }
 rand = "0.5.5"
 pancurses = "0.16.0"
 libc = "0.2"
diff --git a/pdg/Cargo.toml b/pdg/Cargo.toml
index e55f5ad90f..7be6c9a817 100644
--- a/pdg/Cargo.toml
+++ b/pdg/Cargo.toml
@@ -13,7 +13,7 @@ categories.workspace = true
 
 [dependencies]
 bincode = "1.0"
-c2rust-analysis-rt = { path = "../analysis/runtime"}
+c2rust-analysis-rt = { path = "../analysis/runtime", version = "0.17.0" }
 indexed_vec = "1.2"
 indexmap = "1.8"
 serde = { version = "1.0", features = ["derive"] }
@@ -26,7 +26,7 @@ linked_hash_set = "0.1"
 clap = { version = "3.2", features = ["derive"] }
 
 [build-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" }
+c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
 
 [dev-dependencies]
 insta = "1.15"
diff --git a/tests/asm.aarch64/Cargo.toml b/tests/asm.aarch64/Cargo.toml
index 70d5fd5dba..667ba98962 100644
--- a/tests/asm.aarch64/Cargo.toml
+++ b/tests/asm.aarch64/Cargo.toml
@@ -5,4 +5,4 @@ edition = "2021"
 
 [dependencies]
 libc = "0.2"
-c2rust-asm-casts = { path = "../../c2rust-asm-casts" }
+c2rust-asm-casts = { path = "../../c2rust-asm-casts" , version = "0.17.0" }
diff --git a/tests/asm.x86_64/Cargo.toml b/tests/asm.x86_64/Cargo.toml
index 70d5fd5dba..667ba98962 100644
--- a/tests/asm.x86_64/Cargo.toml
+++ b/tests/asm.x86_64/Cargo.toml
@@ -5,4 +5,4 @@ edition = "2021"
 
 [dependencies]
 libc = "0.2"
-c2rust-asm-casts = { path = "../../c2rust-asm-casts" }
+c2rust-asm-casts = { path = "../../c2rust-asm-casts" , version = "0.17.0" }
diff --git a/tests/structs/Cargo.toml b/tests/structs/Cargo.toml
index 89f69c53d5..2c86adf239 100644
--- a/tests/structs/Cargo.toml
+++ b/tests/structs/Cargo.toml
@@ -4,6 +4,6 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-c2rust-bitfields = { path = "../../c2rust-bitfields" }
+c2rust-bitfields = { path = "../../c2rust-bitfields" , version = "0.17.0" }
 memoffset = "0.2"
 libc = "0.2"