diff --git a/Cargo.lock b/Cargo.lock
index b13d614044..da8281698b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -174,7 +174,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "anyhow",
  "c2rust-build-paths",
@@ -191,7 +191,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-analysis-rt"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "bincode",
  "enum_dispatch",
@@ -202,7 +202,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-analyze"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "assert_matches",
  "bitflags",
@@ -219,11 +219,11 @@ dependencies = [
 
 [[package]]
 name = "c2rust-asm-casts"
-version = "0.17.0"
+version = "0.18.0"
 
 [[package]]
 name = "c2rust-ast-builder"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "proc-macro2",
  "syn 1.0.109",
@@ -231,7 +231,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-ast-exporter"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "bindgen",
  "c2rust-build-paths",
@@ -246,7 +246,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-ast-printer"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "log",
  "prettyplease 0.1.25",
@@ -256,7 +256,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-bitfields"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "c2rust-bitfields-derive",
  "libc",
@@ -264,7 +264,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-bitfields-derive"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -273,14 +273,14 @@ dependencies = [
 
 [[package]]
 name = "c2rust-build-paths"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "print_bytes",
 ]
 
 [[package]]
 name = "c2rust-instrument"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "anyhow",
  "bincode",
@@ -300,7 +300,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-pdg"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "bincode",
  "c2rust-analysis-rt",
@@ -320,7 +320,7 @@ dependencies = [
 
 [[package]]
 name = "c2rust-transpile"
-version = "0.17.0"
+version = "0.18.0"
 dependencies = [
  "c2rust-ast-builder",
  "c2rust-ast-exporter",
diff --git a/Cargo.toml b/Cargo.toml
index 4ccb397615..44f8a068f1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -23,7 +23,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.17.0"
+version = "0.18.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 ecb1f2463a..3c5e850b7c 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.17.0" }
+c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.18.0" }
 
 [features]
 miri = []
diff --git a/analysis/tests/lighttpd/Cargo.toml b/analysis/tests/lighttpd/Cargo.toml
index 16996000ca..e55bfe86ed 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.17.0" }
+c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.18.0" }
 
 [features]
 miri = []
diff --git a/analysis/tests/misc/Cargo.toml b/analysis/tests/misc/Cargo.toml
index d9065fa273..8eff9a8f3d 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.17.0" }
+c2rust-analysis-rt = { path = "../../runtime", optional = true, version = "0.18.0" }
 
 [features]
 miri = []
diff --git a/c2rust-analyze/Cargo.toml b/c2rust-analyze/Cargo.toml
index a74b6d15e5..0e5fcbef92 100644
--- a/c2rust-analyze/Cargo.toml
+++ b/c2rust-analyze/Cargo.toml
@@ -21,11 +21,11 @@ env_logger = "0.10.0"
 log = "0.4.17"
 
 [build-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
+c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.18.0" }
 print_bytes = "1.1"
 
 [dev-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
+c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.18.0" }
 clap = { version = "4.1.9", features = ["derive"] }
 shlex = "1.1.0"
 
diff --git a/c2rust-ast-exporter/Cargo.toml b/c2rust-ast-exporter/Cargo.toml
index 5d7644dca0..61f751fb95 100644
--- a/c2rust-ast-exporter/Cargo.toml
+++ b/c2rust-ast-exporter/Cargo.toml
@@ -23,7 +23,7 @@ bindgen = { version = "0.65", features = ["logging"] }
 clang-sys = "1.3"
 cmake = "0.1.49"
 env_logger = "0.10"
-c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
+c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.18.0" }
 
 [features]
 default = []
diff --git a/c2rust-bitfields/Cargo.toml b/c2rust-bitfields/Cargo.toml
index c84aff9c84..ce0994e2a1 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.17.0", path = "../c2rust-bitfields-derive" }
+c2rust-bitfields-derive = { version = "0.18.0", path = "../c2rust-bitfields-derive" }
 
 [dev-dependencies]
 libc = "0.2"
diff --git a/c2rust-macros/Cargo.toml b/c2rust-macros/Cargo.toml
index 1c13d85bad..5e79c79dc1 100644
--- a/c2rust-macros/Cargo.toml
+++ b/c2rust-macros/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "c2rust-macros"
-version = "0.17.0"
+version = "0.18.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 e4d4d9c208..e337d8af4d 100644
--- a/c2rust-refactor/Cargo.toml
+++ b/c2rust-refactor/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "c2rust-refactor"
-version = "0.17.0"
+version = "0.18.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.17.0", path = "../c2rust-ast-builder" }
-c2rust-ast-printer = { version = "0.17.0", path = "../c2rust-ast-printer" }
+c2rust-ast-builder = { version = "0.18.0", path = "../c2rust-ast-builder" }
+c2rust-ast-printer = { version = "0.18.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" , version = "0.17.0" }
+c2rust-analysis-rt = { path = "../analysis/runtime", version = "0.18.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.17.0", path = "../c2rust-macros" }
+c2rust-macros = { version = "0.18.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 94a2195a39..a7b66edaa0 100644
--- a/c2rust-refactor/runtime/Cargo.toml
+++ b/c2rust-refactor/runtime/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "c2rust_runtime"
-version = "0.17.0"
+version = "0.18.0"
 authors = ["Stuart Pernsteiner <spernsteiner@galois.com>"]
 edition = "2021"
 
diff --git a/c2rust-transpile/Cargo.toml b/c2rust-transpile/Cargo.toml
index aad37e2bcf..f013082855 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.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" }
+c2rust-ast-builder = { version = "0.18.0", path = "../c2rust-ast-builder" }
+c2rust-ast-exporter = { version = "0.18.0", path = "../c2rust-ast-exporter" }
+c2rust-ast-printer = { version = "0.18.0", path = "../c2rust-ast-printer" }
+c2rust-bitfields = { version = "0.18.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 f47bb2c002..74fc2908a9 100644
--- a/c2rust/Cargo.toml
+++ b/c2rust/Cargo.toml
@@ -25,12 +25,12 @@ is_executable = "1.0"
 log = "0.4"
 regex = "1.3"
 shlex = "1.1"
-c2rust-transpile = { version = "0.17.0", path = "../c2rust-transpile" }
+c2rust-transpile = { version = "0.18.0", path = "../c2rust-transpile" }
 # Required to avoid too-new version (dep of git-testament) which our rustc cannot compile
 time-macros = "=0.2.6"
 
 [build-dependencies]
-c2rust-build-paths = { path = "../c2rust-build-paths" , version = "0.17.0" }
+c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.18.0" }
 
 [features]
 # Force static linking of LLVM
diff --git a/dynamic_instrumentation/Cargo.toml b/dynamic_instrumentation/Cargo.toml
index 7929935c99..42187a72b2 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", version = "0.17.0" }
+c2rust-analysis-rt = { path = "../analysis/runtime", version = "0.18.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" , version = "0.17.0" }
+c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.18.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 81c4eae3a6..7824f6bf5e 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" , version = "0.17.0" }
+c2rust_runtime = { path = "../../../../c2rust-refactor/runtime", version = "0.18.0" }
 rand = "0.5.5"
 pancurses = "0.16.0"
 libc = "0.2"
diff --git a/pdg/Cargo.toml b/pdg/Cargo.toml
index 7be6c9a817..d18cb8d94d 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", version = "0.17.0" }
+c2rust-analysis-rt = { path = "../analysis/runtime", version = "0.18.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" , version = "0.17.0" }
+c2rust-build-paths = { path = "../c2rust-build-paths", version = "0.18.0" }
 
 [dev-dependencies]
 insta = "1.15"
diff --git a/tests/asm.aarch64/Cargo.toml b/tests/asm.aarch64/Cargo.toml
index 667ba98962..194284ea13 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" , version = "0.17.0" }
+c2rust-asm-casts = { path = "../../c2rust-asm-casts", version = "0.18.0" }
diff --git a/tests/asm.x86_64/Cargo.toml b/tests/asm.x86_64/Cargo.toml
index 667ba98962..194284ea13 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" , version = "0.17.0" }
+c2rust-asm-casts = { path = "../../c2rust-asm-casts", version = "0.18.0" }
diff --git a/tests/structs/Cargo.toml b/tests/structs/Cargo.toml
index 2c86adf239..24cb245b38 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" , version = "0.17.0" }
+c2rust-bitfields = { path = "../../c2rust-bitfields", version = "0.18.0" }
 memoffset = "0.2"
 libc = "0.2"