diff --git a/bin/check-changelog.test.ts b/bin/check-changelog.test.ts
index 45659d0629..9c889a8f32 100644
--- a/bin/check-changelog.test.ts
+++ b/bin/check-changelog.test.ts
@@ -78,6 +78,15 @@ describe("needsChangelog", () => {
       ).toBe(false);
     });
 
+    it("ignores a test file's snapshots", () => {
+      expect(
+        needsChangelog(
+          ["packages/bugc/src/evmgen/__snapshots__/pairing.test.ts.snap"],
+          ["packages/bugc"],
+        ),
+      ).toBe(false);
+    });
+
     it("ignores an examples test suite", () => {
       expect(
         needsChangelog(
diff --git a/bin/check-changelog.ts b/bin/check-changelog.ts
index 6df4554efc..74fcb87936 100644
--- a/bin/check-changelog.ts
+++ b/bin/check-changelog.ts
@@ -10,9 +10,9 @@ function touchesSchemas(changedPaths: string[]): boolean {
   return changedPaths.some((path) => path.startsWith("schemas/"));
 }
 
-// colocated test files carry no consumer-visible change, and this also
-// covers the *.examples.test.ts suites
-const testFile = /\.test\.tsx?$/;
+// colocated test files and their snapshots carry no consumer-visible
+// change, and this also covers the *.examples.test.ts suites
+const testFile = /\.test\.tsx?(\.snap)?$/;
 
 function touchesPackage(changedPaths: string[], prefix: string): boolean {
   return changedPaths.some(
diff --git a/packages/bugc/src/evmgen/__snapshots__/activation-pairing.test.ts.snap b/packages/bugc/src/evmgen/__snapshots__/activation-pairing.test.ts.snap
index b63d07009e..156569720a 100644
--- a/packages/bugc/src/evmgen/__snapshots__/activation-pairing.test.ts.snap
+++ b/packages/bugc/src/evmgen/__snapshots__/activation-pairing.test.ts.snap
@@ -1,198 +1,385 @@
 // Vitest Snapshot v1, https://vitest.dev/guide/snapshot.html
 
-exports[`the code does not depend on the markers > is the same for every example and program here 1`] = `
-{
-  "a body that ends with a loop at O0": "6c524fd930d643d452d0dd582b44617cb8f41a36cefb940f16a246cec7669128",
-  "a body that ends with a loop at O1": "1e09ac19cc3e6f14e810c4f1a6e1458a03faf8f7c82e625eed14e51bdbf76941",
-  "a body that ends with a loop at O2": "ccda0a22a60134d9ac21b1d92528078fb9ad3975c6df6dc98d63e3d6dd8e53dd",
-  "a body that ends with a loop at O3": "b8e78c71d0fb4bf983474843793a06b0b3f823c685b291670fbf53a67c7b3b14",
-  "a body that goes whole at O0": "a4ed654661bf3793d1cada2cc75f181de49d84a624c7efb722dda971d3b07b9d",
-  "a body that goes whole at O1": "a4ed654661bf3793d1cada2cc75f181de49d84a624c7efb722dda971d3b07b9d",
-  "a body that goes whole at O2": "48c756f419a73c14813e657d3180eaf5e9dc765386218b6fd4bd5ac34d81ca9b",
-  "a body that goes whole at O3": "3f25654ae893c2e2990c86820d59e64642330a1f1b609ec98c1d0d6dd6ba0113",
-  "a body that starts with a loop at O0": "65fc62eeeb2000e42497e0b2f5180ae3e4de1ede3ebcfd2ad08a63c28cd2ab70",
-  "a body that starts with a loop at O1": "892b5a5331928f1e940d51e0acaedd0870e6a3c32c69a6a4b8e3aa1b186d8038",
-  "a body that starts with a loop at O2": "b312aa078f8ad6a78e2aab6f5acbd1bc850aecced786005c03715a44376c4e2f",
-  "a body that starts with a loop at O3": "93d81fdf0922105d6d8c1be1fa81d33e5e28a258a56b915e4def0c7a61e93da9",
-  "a body whose last instruction goes at O0": "50bfd57b2a5b8ae52ca973ca38f65de27a6a96fff088f3d970bedf2f46d0a989",
-  "a body whose last instruction goes at O1": "141a44c31088a82f5070db3f8187f9905249f76e690ed2cdb1e56b032c3c9db8",
-  "a body whose last instruction goes at O2": "fe93627f9fd6618d8f35f99f71f858d64e2b2058781da28d21c72032ee70fd4e",
-  "a body whose last instruction goes at O3": "f2aa3ff010f4eef6096f1b5578a7b89218154373136c644d66d728e7b176099a",
-  "a body whose writes merge at O0": "3cf5feecb4553a488cbfdf46c48a5b7130ab462a98f9425cab97721034332867",
-  "a body whose writes merge at O1": "bcd40171e13a8e5c6cbb425a5c54062cff8856fe708e5faec030165d1acbbc31",
-  "a body whose writes merge at O2": "6350e3f046e62d03446a6eac1512b37a85e88c8d4c4beffb019990c34934d07b",
-  "a body whose writes merge at O3": "1a23f0330f60e53882ad33d511da34a56325cc66a9098ff920075dfdd6bf81b6",
-  "a call in a loop at O0": "79460752360ff783f5c912973317620e8178d6c559e690274c61cd3940c87075",
-  "a call in a loop at O1": "23b3a1a91a8a1443be424e57a4d61241802a56988282037ed4eecc78784b68b0",
-  "a call in a loop at O2": "996bbf9a784aa4e03b0eea685d2c6fdae632036d7c6ef2f9b9f59fe3f8fedc1d",
-  "a call in a loop at O3": "dc13b3866593fd43d26bd4246c12e75a5878ea88cd3df4796cfc4d3ba64cd10e",
-  "a call whose result is unused at O0": "3968e24e3a35f3c140521dd78948b2e0b91479974906aaba96f67572046af491",
-  "a call whose result is unused at O1": "70f3818386f8763c8cf343feb2da3017aae588f47c42b8761f1e5b88576010af",
-  "a call whose result is unused at O2": "83d18d2aa8787d944285b1cd923134619d895f05949c1b4739c66d688865f855",
-  "a call whose result is unused at O3": "fd00715b3649bfb556f7fa9a5ea881612fa3b795bc745f16a89bb48bf1282e6b",
-  "advanced/memory-to-storage.bug at O0": "1c461952928bfc3a8081173c587c60181527aa3b5c8625f792961dcdbebfa36e",
-  "advanced/memory-to-storage.bug at O1": "0e8bfd484873eec80cfbbabbfca46ea338e6576d033fd6d4dcb6cdd44bbfe3d0",
-  "advanced/memory-to-storage.bug at O2": "0e8bfd484873eec80cfbbabbfca46ea338e6576d033fd6d4dcb6cdd44bbfe3d0",
-  "advanced/memory-to-storage.bug at O3": "0e8bfd484873eec80cfbbabbfca46ea338e6576d033fd6d4dcb6cdd44bbfe3d0",
-  "advanced/nested-arrays.bug at O0": "ce16d77d34f5253da834a5345331aa1d72b6d17a240f18be268cba87683d82ef",
-  "advanced/nested-arrays.bug at O1": "4c6879dd86b2e8c902c7fdd37eb7726374fa8ad63693dc75353d763b0c624b92",
-  "advanced/nested-arrays.bug at O2": "ade6afd443138a1e077aaa405419099d82587af37e58863b900ae7e9c4a835fb",
-  "advanced/nested-arrays.bug at O3": "ade6afd443138a1e077aaa405419099d82587af37e58863b900ae7e9c4a835fb",
-  "advanced/nested-mappings.bug at O0": "174af1f70704d7d0b25400f8376052418459ccc5ad8c162fd1978cc828c993ad",
-  "advanced/nested-mappings.bug at O1": "4bc88a81abf0e77e8a90b9f0d10d8dc8ecd42fe59cdb0db8b4c0e0fa33e2e60f",
-  "advanced/nested-mappings.bug at O2": "4bc88a81abf0e77e8a90b9f0d10d8dc8ecd42fe59cdb0db8b4c0e0fa33e2e60f",
-  "advanced/nested-mappings.bug at O3": "4bc88a81abf0e77e8a90b9f0d10d8dc8ecd42fe59cdb0db8b4c0e0fa33e2e60f",
-  "advanced/nested-structs.bug at O0": "b24e11ecaf28273d7b01dba9d82f4efd213702f1f919c5ecd3785a634939fcda",
-  "advanced/nested-structs.bug at O1": "ae8772307e46e33f94b8e36017ef8a4c23743fbb26085693a495239d25da3008",
-  "advanced/nested-structs.bug at O2": "d141d683602322f4195283df977a6c5618e72e995bfca7d8b285ae3a0f779bb4",
-  "advanced/nested-structs.bug at O3": "d141d683602322f4195283df977a6c5618e72e995bfca7d8b285ae3a0f779bb4",
-  "advanced/token-registry.bug at O0": "5e8c272398293d3005131bbb42f9ff447f7eeb34c37f8a0ace51189986d53815",
-  "advanced/token-registry.bug at O1": "e64bc9fa74ad41315751723cbe5f5efa67496523d60c4d41a23eb7274a1efd7d",
-  "advanced/token-registry.bug at O2": "f70c11b4702b7d5eab762a68809048055f512bbaad6fb8e584d62a678b325b37",
-  "advanced/token-registry.bug at O3": "72c79740aed4c6a0a2e79347b2652c96a6cbbcb260f0fd6c710809fcb08c144b",
-  "advanced/voting-system.bug at O0": "e49f6349c9c8fc5d3e14cd737a860891139518b0e0ea73d3c01f314a60e80a30",
-  "advanced/voting-system.bug at O1": "32f9c89a0890e1591b4e1aa29ec2b52d83a13c6ed06c4fc3391245002c505e38",
-  "advanced/voting-system.bug at O2": "3479679f427cb43fcc7288d34666f865d94c20a05f216f719f41a218624823ec",
-  "advanced/voting-system.bug at O3": "321c425fee5b039ff49bc31a650ab5c2d2acffd855513099ffccb24bcbff1cda",
-  "basic/array-length.bug at O0": "8f5fcef15f56ccce6890bbbd782560f4b202dbb5393307a92b0b32afa4556fa4",
-  "basic/array-length.bug at O1": "0e015ca03167413e55faf483f55d73f595c0221f77cd56c8a71c1125d0ccad9c",
-  "basic/array-length.bug at O2": "7920f08259a422bae4d7b2a9f9f67770ea25fcaf4bb70b337de02dcfd8a74dc1",
-  "basic/array-length.bug at O3": "7920f08259a422bae4d7b2a9f9f67770ea25fcaf4bb70b337de02dcfd8a74dc1",
-  "basic/array-values.bug at O0": "3317c7cdf7d2602a5aed38a02d88a3872071353d33fd8d06bf2f1b713abd32cf",
-  "basic/array-values.bug at O1": "224fbfaca6d0aa3a070b75a3a44473de55a0aa42a68e93579a25e5d413067ff5",
-  "basic/array-values.bug at O2": "8aae59a6b06eeb15020a112eb50374954718e6295b04cbb23bfbc18d0f9c3ffa",
-  "basic/array-values.bug at O3": "8aae59a6b06eeb15020a112eb50374954718e6295b04cbb23bfbc18d0f9c3ffa",
-  "basic/conditionals.bug at O0": "36d7853ed4b7a57acede507b9dc7f0faf6de6b15e6bdcb6ccc5fbadd323b26e0",
-  "basic/conditionals.bug at O1": "a3a00df0d716d96819916e8e63c55e82e4c422f100d4e4a0ce3b72aa338b4de3",
-  "basic/conditionals.bug at O2": "e4cb78229154dfc960046bd05c4c7d8bee81467c196156039c085d36f3a2acbe",
-  "basic/conditionals.bug at O3": "e4cb78229154dfc960046bd05c4c7d8bee81467c196156039c085d36f3a2acbe",
-  "basic/constructor-init.bug at O0": "bd42798b5485d789b0224ca42b4ff31b75a646881c1cfd76f0c1cbc64ee6a3a1",
-  "basic/constructor-init.bug at O1": "a9e14f70e7def8d6d5f95cafdc1e0c0f2ce2fe73e0fa4784c0b2c930bba9ff5f",
-  "basic/constructor-init.bug at O2": "a9e14f70e7def8d6d5f95cafdc1e0c0f2ce2fe73e0fa4784c0b2c930bba9ff5f",
-  "basic/constructor-init.bug at O3": "a9e14f70e7def8d6d5f95cafdc1e0c0f2ce2fe73e0fa4784c0b2c930bba9ff5f",
-  "basic/functions.bug at O0": "2b51b40fb3f9724554f139f931578d206e0815299bc68b8e6215a16dd28b95e8",
-  "basic/functions.bug at O1": "2b51b40fb3f9724554f139f931578d206e0815299bc68b8e6215a16dd28b95e8",
-  "basic/functions.bug at O2": "7b5d526c0b4d16c7f83ff9816524d235fa6e724d66d008a55af35c7e9f8240ca",
-  "basic/functions.bug at O3": "52e719967eff5d1160dad6bd19d33427d67d98ea1bb30efdcbb6dd160271255e",
-  "basic/minimal.bug at O0": "9c87a5d76a40ee23c01d10341b35d08d39bd9bef71df5f688dbf738f50b3111f",
-  "basic/minimal.bug at O1": "7fac02075da002e516ffe2700720450b10d3964764e79409374ed02f4df2a3a7",
-  "basic/minimal.bug at O2": "7fac02075da002e516ffe2700720450b10d3964764e79409374ed02f4df2a3a7",
-  "basic/minimal.bug at O3": "7fac02075da002e516ffe2700720450b10d3964764e79409374ed02f4df2a3a7",
-  "basic/variables.bug at O0": "does not compile",
-  "basic/variables.bug at O1": "does not compile",
-  "basic/variables.bug at O2": "does not compile",
-  "basic/variables.bug at O3": "does not compile",
-  "calls in sequence at O0": "2a2cd5bfc34f95aa17517bbc4862cdee63b5e568b896ba232cb7b003c2469255",
-  "calls in sequence at O1": "fc7fb90e0765e5347da8c470befe2664d6522d8d9c0de0010ff43785f6e77365",
-  "calls in sequence at O2": "05321b02791be0288522e6b7b8b8e45ae683d21d8e11051f47ae6903b3024c54",
-  "calls in sequence at O3": "b5af313fd2aa2f47d693cd9d927becce9dbf9cefc8d0c26651929db9fdd426b8",
-  "dispatch at O0": "2e526428199bfcfd12a21c7a1ddee81c3498442e40822c6a8b146d745198c008",
-  "dispatch at O1": "2f4b97d5bf871f8724ae80aecb2c4bdbfef02ec00def3b128a1d3626e29cae17",
-  "dispatch at O2": "96bb9a57b8760410ae7114b06cfa6bf2485b03d504447ca408f6398d74c99b87",
-  "dispatch at O3": "9cb4cfde869c923c8337bfa00901699493b5c4a33960794ecda30d6cb6ac921c",
-  "intermediate/arrays.bug at O0": "5a68146b7c7bf93288b187b39b413d9d09813a039f791671923fc1c4ecf9c4cf",
-  "intermediate/arrays.bug at O1": "b6a6dbce13c123c9a84bcb077d92ff2ad4ee3aaeb779c3cad2cdc265905cc47f",
-  "intermediate/arrays.bug at O2": "689caf7eff80dba0e92ece55580842c15e50a8e53e5af94f1be7b031429b600f",
-  "intermediate/arrays.bug at O3": "c499b60551b4655e4baee39d8fa71615501e1894a079f539a1c4f89769e2a45c",
-  "intermediate/bytes.bug at O0": "ef515bf6b34a9dc09b357c69054fd075c878cc531bdd1aaac299bc28732ff6b0",
-  "intermediate/bytes.bug at O1": "9d1352928f1cf27b83eedf97b63dd2f9005c10526f25e3e67d644228e00e6c30",
-  "intermediate/bytes.bug at O2": "9d1352928f1cf27b83eedf97b63dd2f9005c10526f25e3e67d644228e00e6c30",
-  "intermediate/bytes.bug at O3": "9d1352928f1cf27b83eedf97b63dd2f9005c10526f25e3e67d644228e00e6c30",
-  "intermediate/calldata.bug at O0": "ee3dac77c70ff4e78ece119f6e29b5dffe974646f835b325f6b4213556c10897",
-  "intermediate/calldata.bug at O1": "a971db577532adbc53f77ca1aa00f331e9650393a8d479a74506ca425b37509e",
-  "intermediate/calldata.bug at O2": "ea5ef4359e73cf0cf95b9db996b6600f5adda630c74d831a2a189b689dd7b529",
-  "intermediate/calldata.bug at O3": "ea5ef4359e73cf0cf95b9db996b6600f5adda630c74d831a2a189b689dd7b529",
-  "intermediate/internal-functions.bug at O0": "03a14e6870bf8ade51be3fb92703b7e1baa4de253e67f15bc33bd5cb3bf69192",
-  "intermediate/internal-functions.bug at O1": "03a14e6870bf8ade51be3fb92703b7e1baa4de253e67f15bc33bd5cb3bf69192",
-  "intermediate/internal-functions.bug at O2": "fcce9f8eab1796ac1a5df9065dd1fcb83c2e973ddbf0c2e152115668312aa5d0",
-  "intermediate/internal-functions.bug at O3": "30312a58f1fa5c9137549b4f575b4122fab3d74f860aae5123e662b63aaac7b3",
-  "intermediate/literals.bug at O0": "does not compile",
-  "intermediate/literals.bug at O1": "does not compile",
-  "intermediate/literals.bug at O2": "does not compile",
-  "intermediate/literals.bug at O3": "does not compile",
-  "intermediate/mappings.bug at O0": "208d92ccae758ab0af5549cec75608830c1e0022995a841e3c66c98a5a32bca3",
-  "intermediate/mappings.bug at O1": "bdc048d5d02236b9e92893897c158570c536c1ad3b8f0bb0727217b6cae1b10b",
-  "intermediate/mappings.bug at O2": "0d62a5767d6f632d2458a10bda6abc33f3a70a7a96a7ddf6f246514245777a69",
-  "intermediate/mappings.bug at O3": "0d62a5767d6f632d2458a10bda6abc33f3a70a7a96a7ddf6f246514245777a69",
-  "intermediate/memory-arrays.bug at O0": "d1de94dd3fde15a4411886f718220fb2e837fb96548dfcaec8b6745e49efdb87",
-  "intermediate/memory-arrays.bug at O1": "87f8488b12d5b6adb2159f2acc21ec7b6abaa882e7267a362cf0bd601fcfd60c",
-  "intermediate/memory-arrays.bug at O2": "09e6bc75ee8e9933ef4a96dc42a456f2c6ccbd8107a2cba40b1a55cf45838e83",
-  "intermediate/memory-arrays.bug at O3": "09e6bc75ee8e9933ef4a96dc42a456f2c6ccbd8107a2cba40b1a55cf45838e83",
-  "intermediate/memory-slices.bug at O0": "fd801bb38edc3cf7d27719f912e5c9adeb51f311d2fe9a97c18409d55734658d",
-  "intermediate/memory-slices.bug at O1": "83dece801364a4122081a0735a74f0e37b312b2ee82946a94b51b9e7093a274b",
-  "intermediate/memory-slices.bug at O2": "83dece801364a4122081a0735a74f0e37b312b2ee82946a94b51b9e7093a274b",
-  "intermediate/memory-slices.bug at O3": "83dece801364a4122081a0735a74f0e37b312b2ee82946a94b51b9e7093a274b",
-  "intermediate/memory-structs.bug at O0": "does not compile",
-  "intermediate/memory-structs.bug at O1": "does not compile",
-  "intermediate/memory-structs.bug at O2": "does not compile",
-  "intermediate/memory-structs.bug at O3": "does not compile",
-  "intermediate/owner-check.bug at O0": "e5f5b44a9cebb0ecdea025d904bd9059ebf3a5c0b2812636e07aa0b2f8919c8c",
-  "intermediate/owner-check.bug at O1": "ac4a8bbef41a3b020e8a40b25ddcacfdc63f67524a137861e7a384b02813fce4",
-  "intermediate/owner-check.bug at O2": "ac4a8bbef41a3b020e8a40b25ddcacfdc63f67524a137861e7a384b02813fce4",
-  "intermediate/owner-check.bug at O3": "ac4a8bbef41a3b020e8a40b25ddcacfdc63f67524a137861e7a384b02813fce4",
-  "intermediate/owner-counter.bug at O0": "9de1b2c04a3693ef1cb989a5e52a86e7ab4e9c94633cb4da8a4ccc67dd5c521d",
-  "intermediate/owner-counter.bug at O1": "3e1bc7d219220d983858e6a8b46e80c450d6f634fcdec21865c7d648e20e9c1d",
-  "intermediate/owner-counter.bug at O2": "3e1bc7d219220d983858e6a8b46e80c450d6f634fcdec21865c7d648e20e9c1d",
-  "intermediate/owner-counter.bug at O3": "7c9024d58310457605274f9baeccf6dd89acdc152c9ab9a35ab8881532f6b6f8",
-  "intermediate/packed-struct.bug at O0": "does not compile",
-  "intermediate/packed-struct.bug at O1": "does not compile",
-  "intermediate/packed-struct.bug at O2": "does not compile",
-  "intermediate/packed-struct.bug at O3": "does not compile",
-  "intermediate/phi-nodes.bug at O0": "4feaef5750fe3b2a337a107283589c0f719f82c7761455cb660a77cd53f58d32",
-  "intermediate/phi-nodes.bug at O1": "6d4c6ea207ad3a5c967c8ca80d9a7a594c17ab9fd582856f0f977e766d316b58",
-  "intermediate/phi-nodes.bug at O2": "6d4c6ea207ad3a5c967c8ca80d9a7a594c17ab9fd582856f0f977e766d316b58",
-  "intermediate/phi-nodes.bug at O3": "6d4c6ea207ad3a5c967c8ca80d9a7a594c17ab9fd582856f0f977e766d316b58",
-  "intermediate/pointer-shapes.bug at O0": "0ea8fcf89707f2868284d965ddd743ad96df4091b78642e5cd328fcfac42b6a9",
-  "intermediate/pointer-shapes.bug at O1": "c1a7b25b6c663855114141be67df907a165c269099f1e2af7666372c62e3830b",
-  "intermediate/pointer-shapes.bug at O2": "369bc9d3794d4400613f92b5d614080a844c4e22968d149475142354e5df3861",
-  "intermediate/pointer-shapes.bug at O3": "024072c4c363eee5bd0488cf46d168691234fb6926f2771bfcf483f68e0b5c37",
-  "intermediate/scopes.bug at O0": "6f7fab968d0fdf458d2536c83abbb3e36a2291d4d3c32b6c4874831a7d28e9bc",
-  "intermediate/scopes.bug at O1": "9e9e0d1d5e3b39e7ddb512bb5de2ca8d3d6d32fd12a211a68ed0c27ac273b0dc",
-  "intermediate/scopes.bug at O2": "990ea851a89f3cf194506deb42a9f0640fda9b4da8f6984219622b2f6f7538e3",
-  "intermediate/scopes.bug at O3": "990ea851a89f3cf194506deb42a9f0640fda9b4da8f6984219622b2f6f7538e3",
-  "intermediate/slices.bug at O0": "5b4bddf07b235d1891fbb0d19e0a9cbca8ab4d2083423243da0ca296291011a6",
-  "intermediate/slices.bug at O1": "2023cdd09cc12969678598f68ffba3188aa8ef9ef9157332f90f1e1f987147e0",
-  "intermediate/slices.bug at O2": "2023cdd09cc12969678598f68ffba3188aa8ef9ef9157332f90f1e1f987147e0",
-  "intermediate/slices.bug at O3": "2023cdd09cc12969678598f68ffba3188aa8ef9ef9157332f90f1e1f987147e0",
-  "intermediate/storage-arrays.bug at O0": "24469940f8a0724f0257d1f8479e713ea7b0792f5af41d9acfd3cd2156dea117",
-  "intermediate/storage-arrays.bug at O1": "93842f4e97f43a0b1713f695007ccfcd76b7d4ab4f730fd35180efdd9456cca8",
-  "intermediate/storage-arrays.bug at O2": "e3178986ce39eafcffe31b85de4ca286afde9dfaf84a51502d0035b90d49a2f8",
-  "intermediate/storage-arrays.bug at O3": "e3178986ce39eafcffe31b85de4ca286afde9dfaf84a51502d0035b90d49a2f8",
-  "intermediate/storage-bytes-slice.bug at O0": "3535e92551d04c8faf45bfcf433db9f3b66cf3342279d0be01e7632182e45f9d",
-  "intermediate/storage-bytes-slice.bug at O1": "fa92063883b4de1e8419317c9caae55d8af9b9e1d13c17639aa87c31ab45c14c",
-  "intermediate/storage-bytes-slice.bug at O2": "fa92063883b4de1e8419317c9caae55d8af9b9e1d13c17639aa87c31ab45c14c",
-  "intermediate/storage-bytes-slice.bug at O3": "fa92063883b4de1e8419317c9caae55d8af9b9e1d13c17639aa87c31ab45c14c",
-  "intermediate/strings.bug at O0": "fe630fe24a89a7fe39afb7f1ccb475bc43c56404319cdf601d0a679211448465",
-  "intermediate/strings.bug at O1": "f710905b506c068ae1ae3b5acd7257e207e48266172e0fc9b59dc25cc1abdeec",
-  "intermediate/strings.bug at O2": "02c3c2321ef8041786d0c865c47f432e54964ed5f03e1395c1e6c9ba5760fad1",
-  "intermediate/strings.bug at O3": "c6133901e24b6a332a018811adb809354bcc468bf51c897d22b419350162cf70",
-  "nested calls at O0": "0c66cc768da113a946c83eda0bf3922964509400493e4833781830916142965d",
-  "nested calls at O1": "f2a624efaa4580303805eda1d001a6e56e266032a6497545fa26500f629ee42f",
-  "nested calls at O2": "e41f30fd36980bea5453232a71105f1f31b759d89485cba6c62a75f75398f34f",
-  "nested calls at O3": "1e6d59df26dd3f7cb8cf731919359bd2f5a1a1e82e6501b92de328b5aff0e27b",
-  "nested calls, not called at O0": "0c66cc768da113a946c83eda0bf3922964509400493e4833781830916142965d",
-  "nested calls, not called at O1": "f2a624efaa4580303805eda1d001a6e56e266032a6497545fa26500f629ee42f",
-  "nested calls, not called at O2": "e41f30fd36980bea5453232a71105f1f31b759d89485cba6c62a75f75398f34f",
-  "nested calls, not called at O3": "1e6d59df26dd3f7cb8cf731919359bd2f5a1a1e82e6501b92de328b5aff0e27b",
-  "optimizations/constant-folding.bug at O0": "75fa4ea24c71a0f4a2537f8c6caf98aa4198808955159930e9865ba77494f2f0",
-  "optimizations/constant-folding.bug at O1": "8ee32107586fc7c84863cc3b7ba36e2c23f589c699984451dbc40afd318d3ae9",
-  "optimizations/constant-folding.bug at O2": "8ee32107586fc7c84863cc3b7ba36e2c23f589c699984451dbc40afd318d3ae9",
-  "optimizations/constant-folding.bug at O3": "8ee32107586fc7c84863cc3b7ba36e2c23f589c699984451dbc40afd318d3ae9",
-  "optimizations/cse-simple.bug at O0": "8c95d45f17067c84dc07b42f48c1257af8d92e80f0e94d7a92b352985bc9773b",
-  "optimizations/cse-simple.bug at O1": "be543722fe6c8e1ea1d9bb4e0e09314560542e795eb3d7fdbd131fca72fd2e2b",
-  "optimizations/cse-simple.bug at O2": "be543722fe6c8e1ea1d9bb4e0e09314560542e795eb3d7fdbd131fca72fd2e2b",
-  "optimizations/cse-simple.bug at O3": "be543722fe6c8e1ea1d9bb4e0e09314560542e795eb3d7fdbd131fca72fd2e2b",
-  "optimizations/cse.bug at O0": "b021b3e98dc7a8fb7647b1df4e7987bbf16a808a5316fd9b85f719b72421f34f",
-  "optimizations/cse.bug at O1": "df8f5661fe7448e8f38495cdac67c25e2631e947768d4adac457b2633c897954",
-  "optimizations/cse.bug at O2": "f40077d848a4f5b62c6ab4a171700565689667ec54d97642e053a7df7edc3282",
-  "optimizations/cse.bug at O3": "f40077d848a4f5b62c6ab4a171700565689667ec54d97642e053a7df7edc3282",
-  "wip/returndata.bug at O0": "does not compile",
-  "wip/returndata.bug at O1": "does not compile",
-  "wip/returndata.bug at O2": "does not compile",
-  "wip/returndata.bug at O3": "does not compile",
-  "wip/transient-storage.bug at O0": "does not compile",
-  "wip/transient-storage.bug at O1": "does not compile",
-  "wip/transient-storage.bug at O2": "does not compile",
-  "wip/transient-storage.bug at O3": "does not compile",
-}
-`;
+exports[`the code does not depend on the markers > a body that ends with a loop at O0 1`] = `"6c524fd930d643d452d0dd582b44617cb8f41a36cefb940f16a246cec7669128"`;
+
+exports[`the code does not depend on the markers > a body that ends with a loop at O1 1`] = `"1e09ac19cc3e6f14e810c4f1a6e1458a03faf8f7c82e625eed14e51bdbf76941"`;
+
+exports[`the code does not depend on the markers > a body that ends with a loop at O2 1`] = `"ccda0a22a60134d9ac21b1d92528078fb9ad3975c6df6dc98d63e3d6dd8e53dd"`;
+
+exports[`the code does not depend on the markers > a body that ends with a loop at O3 1`] = `"b8e78c71d0fb4bf983474843793a06b0b3f823c685b291670fbf53a67c7b3b14"`;
+
+exports[`the code does not depend on the markers > a body that goes whole at O0 1`] = `"a4ed654661bf3793d1cada2cc75f181de49d84a624c7efb722dda971d3b07b9d"`;
+
+exports[`the code does not depend on the markers > a body that goes whole at O1 1`] = `"a4ed654661bf3793d1cada2cc75f181de49d84a624c7efb722dda971d3b07b9d"`;
+
+exports[`the code does not depend on the markers > a body that goes whole at O2 1`] = `"48c756f419a73c14813e657d3180eaf5e9dc765386218b6fd4bd5ac34d81ca9b"`;
+
+exports[`the code does not depend on the markers > a body that goes whole at O3 1`] = `"3f25654ae893c2e2990c86820d59e64642330a1f1b609ec98c1d0d6dd6ba0113"`;
+
+exports[`the code does not depend on the markers > a body that starts with a loop at O0 1`] = `"65fc62eeeb2000e42497e0b2f5180ae3e4de1ede3ebcfd2ad08a63c28cd2ab70"`;
+
+exports[`the code does not depend on the markers > a body that starts with a loop at O1 1`] = `"892b5a5331928f1e940d51e0acaedd0870e6a3c32c69a6a4b8e3aa1b186d8038"`;
+
+exports[`the code does not depend on the markers > a body that starts with a loop at O2 1`] = `"b312aa078f8ad6a78e2aab6f5acbd1bc850aecced786005c03715a44376c4e2f"`;
+
+exports[`the code does not depend on the markers > a body that starts with a loop at O3 1`] = `"93d81fdf0922105d6d8c1be1fa81d33e5e28a258a56b915e4def0c7a61e93da9"`;
+
+exports[`the code does not depend on the markers > a body whose last instruction goes at O0 1`] = `"50bfd57b2a5b8ae52ca973ca38f65de27a6a96fff088f3d970bedf2f46d0a989"`;
+
+exports[`the code does not depend on the markers > a body whose last instruction goes at O1 1`] = `"141a44c31088a82f5070db3f8187f9905249f76e690ed2cdb1e56b032c3c9db8"`;
+
+exports[`the code does not depend on the markers > a body whose last instruction goes at O2 1`] = `"fe93627f9fd6618d8f35f99f71f858d64e2b2058781da28d21c72032ee70fd4e"`;
+
+exports[`the code does not depend on the markers > a body whose last instruction goes at O3 1`] = `"f2aa3ff010f4eef6096f1b5578a7b89218154373136c644d66d728e7b176099a"`;
+
+exports[`the code does not depend on the markers > a body whose writes merge at O0 1`] = `"3cf5feecb4553a488cbfdf46c48a5b7130ab462a98f9425cab97721034332867"`;
+
+exports[`the code does not depend on the markers > a body whose writes merge at O1 1`] = `"bcd40171e13a8e5c6cbb425a5c54062cff8856fe708e5faec030165d1acbbc31"`;
+
+exports[`the code does not depend on the markers > a body whose writes merge at O2 1`] = `"6350e3f046e62d03446a6eac1512b37a85e88c8d4c4beffb019990c34934d07b"`;
+
+exports[`the code does not depend on the markers > a body whose writes merge at O3 1`] = `"1a23f0330f60e53882ad33d511da34a56325cc66a9098ff920075dfdd6bf81b6"`;
+
+exports[`the code does not depend on the markers > a call in a loop at O0 1`] = `"79460752360ff783f5c912973317620e8178d6c559e690274c61cd3940c87075"`;
+
+exports[`the code does not depend on the markers > a call in a loop at O1 1`] = `"23b3a1a91a8a1443be424e57a4d61241802a56988282037ed4eecc78784b68b0"`;
+
+exports[`the code does not depend on the markers > a call in a loop at O2 1`] = `"996bbf9a784aa4e03b0eea685d2c6fdae632036d7c6ef2f9b9f59fe3f8fedc1d"`;
+
+exports[`the code does not depend on the markers > a call in a loop at O3 1`] = `"dc13b3866593fd43d26bd4246c12e75a5878ea88cd3df4796cfc4d3ba64cd10e"`;
+
+exports[`the code does not depend on the markers > a call whose result is unused at O0 1`] = `"3968e24e3a35f3c140521dd78948b2e0b91479974906aaba96f67572046af491"`;
+
+exports[`the code does not depend on the markers > a call whose result is unused at O1 1`] = `"70f3818386f8763c8cf343feb2da3017aae588f47c42b8761f1e5b88576010af"`;
+
+exports[`the code does not depend on the markers > a call whose result is unused at O2 1`] = `"83d18d2aa8787d944285b1cd923134619d895f05949c1b4739c66d688865f855"`;
+
+exports[`the code does not depend on the markers > a call whose result is unused at O3 1`] = `"fd00715b3649bfb556f7fa9a5ea881612fa3b795bc745f16a89bb48bf1282e6b"`;
+
+exports[`the code does not depend on the markers > advanced/memory-to-storage.bug at O0 1`] = `"1c461952928bfc3a8081173c587c60181527aa3b5c8625f792961dcdbebfa36e"`;
+
+exports[`the code does not depend on the markers > advanced/memory-to-storage.bug at O1 1`] = `"0e8bfd484873eec80cfbbabbfca46ea338e6576d033fd6d4dcb6cdd44bbfe3d0"`;
+
+exports[`the code does not depend on the markers > advanced/memory-to-storage.bug at O2 1`] = `"0e8bfd484873eec80cfbbabbfca46ea338e6576d033fd6d4dcb6cdd44bbfe3d0"`;
+
+exports[`the code does not depend on the markers > advanced/memory-to-storage.bug at O3 1`] = `"0e8bfd484873eec80cfbbabbfca46ea338e6576d033fd6d4dcb6cdd44bbfe3d0"`;
+
+exports[`the code does not depend on the markers > advanced/nested-arrays.bug at O0 1`] = `"ce16d77d34f5253da834a5345331aa1d72b6d17a240f18be268cba87683d82ef"`;
+
+exports[`the code does not depend on the markers > advanced/nested-arrays.bug at O1 1`] = `"4c6879dd86b2e8c902c7fdd37eb7726374fa8ad63693dc75353d763b0c624b92"`;
+
+exports[`the code does not depend on the markers > advanced/nested-arrays.bug at O2 1`] = `"ade6afd443138a1e077aaa405419099d82587af37e58863b900ae7e9c4a835fb"`;
+
+exports[`the code does not depend on the markers > advanced/nested-arrays.bug at O3 1`] = `"ade6afd443138a1e077aaa405419099d82587af37e58863b900ae7e9c4a835fb"`;
+
+exports[`the code does not depend on the markers > advanced/nested-mappings.bug at O0 1`] = `"174af1f70704d7d0b25400f8376052418459ccc5ad8c162fd1978cc828c993ad"`;
+
+exports[`the code does not depend on the markers > advanced/nested-mappings.bug at O1 1`] = `"4bc88a81abf0e77e8a90b9f0d10d8dc8ecd42fe59cdb0db8b4c0e0fa33e2e60f"`;
+
+exports[`the code does not depend on the markers > advanced/nested-mappings.bug at O2 1`] = `"4bc88a81abf0e77e8a90b9f0d10d8dc8ecd42fe59cdb0db8b4c0e0fa33e2e60f"`;
+
+exports[`the code does not depend on the markers > advanced/nested-mappings.bug at O3 1`] = `"4bc88a81abf0e77e8a90b9f0d10d8dc8ecd42fe59cdb0db8b4c0e0fa33e2e60f"`;
+
+exports[`the code does not depend on the markers > advanced/nested-structs.bug at O0 1`] = `"b24e11ecaf28273d7b01dba9d82f4efd213702f1f919c5ecd3785a634939fcda"`;
+
+exports[`the code does not depend on the markers > advanced/nested-structs.bug at O1 1`] = `"ae8772307e46e33f94b8e36017ef8a4c23743fbb26085693a495239d25da3008"`;
+
+exports[`the code does not depend on the markers > advanced/nested-structs.bug at O2 1`] = `"d141d683602322f4195283df977a6c5618e72e995bfca7d8b285ae3a0f779bb4"`;
+
+exports[`the code does not depend on the markers > advanced/nested-structs.bug at O3 1`] = `"d141d683602322f4195283df977a6c5618e72e995bfca7d8b285ae3a0f779bb4"`;
+
+exports[`the code does not depend on the markers > advanced/token-registry.bug at O0 1`] = `"5e8c272398293d3005131bbb42f9ff447f7eeb34c37f8a0ace51189986d53815"`;
+
+exports[`the code does not depend on the markers > advanced/token-registry.bug at O1 1`] = `"e64bc9fa74ad41315751723cbe5f5efa67496523d60c4d41a23eb7274a1efd7d"`;
+
+exports[`the code does not depend on the markers > advanced/token-registry.bug at O2 1`] = `"f70c11b4702b7d5eab762a68809048055f512bbaad6fb8e584d62a678b325b37"`;
+
+exports[`the code does not depend on the markers > advanced/token-registry.bug at O3 1`] = `"72c79740aed4c6a0a2e79347b2652c96a6cbbcb260f0fd6c710809fcb08c144b"`;
+
+exports[`the code does not depend on the markers > advanced/voting-system.bug at O0 1`] = `"e49f6349c9c8fc5d3e14cd737a860891139518b0e0ea73d3c01f314a60e80a30"`;
+
+exports[`the code does not depend on the markers > advanced/voting-system.bug at O1 1`] = `"32f9c89a0890e1591b4e1aa29ec2b52d83a13c6ed06c4fc3391245002c505e38"`;
+
+exports[`the code does not depend on the markers > advanced/voting-system.bug at O2 1`] = `"3479679f427cb43fcc7288d34666f865d94c20a05f216f719f41a218624823ec"`;
+
+exports[`the code does not depend on the markers > advanced/voting-system.bug at O3 1`] = `"321c425fee5b039ff49bc31a650ab5c2d2acffd855513099ffccb24bcbff1cda"`;
+
+exports[`the code does not depend on the markers > basic/array-length.bug at O0 1`] = `"8f5fcef15f56ccce6890bbbd782560f4b202dbb5393307a92b0b32afa4556fa4"`;
+
+exports[`the code does not depend on the markers > basic/array-length.bug at O1 1`] = `"0e015ca03167413e55faf483f55d73f595c0221f77cd56c8a71c1125d0ccad9c"`;
+
+exports[`the code does not depend on the markers > basic/array-length.bug at O2 1`] = `"7920f08259a422bae4d7b2a9f9f67770ea25fcaf4bb70b337de02dcfd8a74dc1"`;
+
+exports[`the code does not depend on the markers > basic/array-length.bug at O3 1`] = `"7920f08259a422bae4d7b2a9f9f67770ea25fcaf4bb70b337de02dcfd8a74dc1"`;
+
+exports[`the code does not depend on the markers > basic/array-values.bug at O0 1`] = `"3317c7cdf7d2602a5aed38a02d88a3872071353d33fd8d06bf2f1b713abd32cf"`;
+
+exports[`the code does not depend on the markers > basic/array-values.bug at O1 1`] = `"224fbfaca6d0aa3a070b75a3a44473de55a0aa42a68e93579a25e5d413067ff5"`;
+
+exports[`the code does not depend on the markers > basic/array-values.bug at O2 1`] = `"8aae59a6b06eeb15020a112eb50374954718e6295b04cbb23bfbc18d0f9c3ffa"`;
+
+exports[`the code does not depend on the markers > basic/array-values.bug at O3 1`] = `"8aae59a6b06eeb15020a112eb50374954718e6295b04cbb23bfbc18d0f9c3ffa"`;
+
+exports[`the code does not depend on the markers > basic/conditionals.bug at O0 1`] = `"36d7853ed4b7a57acede507b9dc7f0faf6de6b15e6bdcb6ccc5fbadd323b26e0"`;
+
+exports[`the code does not depend on the markers > basic/conditionals.bug at O1 1`] = `"a3a00df0d716d96819916e8e63c55e82e4c422f100d4e4a0ce3b72aa338b4de3"`;
+
+exports[`the code does not depend on the markers > basic/conditionals.bug at O2 1`] = `"e4cb78229154dfc960046bd05c4c7d8bee81467c196156039c085d36f3a2acbe"`;
+
+exports[`the code does not depend on the markers > basic/conditionals.bug at O3 1`] = `"e4cb78229154dfc960046bd05c4c7d8bee81467c196156039c085d36f3a2acbe"`;
+
+exports[`the code does not depend on the markers > basic/constructor-init.bug at O0 1`] = `"bd42798b5485d789b0224ca42b4ff31b75a646881c1cfd76f0c1cbc64ee6a3a1"`;
+
+exports[`the code does not depend on the markers > basic/constructor-init.bug at O1 1`] = `"a9e14f70e7def8d6d5f95cafdc1e0c0f2ce2fe73e0fa4784c0b2c930bba9ff5f"`;
+
+exports[`the code does not depend on the markers > basic/constructor-init.bug at O2 1`] = `"a9e14f70e7def8d6d5f95cafdc1e0c0f2ce2fe73e0fa4784c0b2c930bba9ff5f"`;
+
+exports[`the code does not depend on the markers > basic/constructor-init.bug at O3 1`] = `"a9e14f70e7def8d6d5f95cafdc1e0c0f2ce2fe73e0fa4784c0b2c930bba9ff5f"`;
+
+exports[`the code does not depend on the markers > basic/functions.bug at O0 1`] = `"2b51b40fb3f9724554f139f931578d206e0815299bc68b8e6215a16dd28b95e8"`;
+
+exports[`the code does not depend on the markers > basic/functions.bug at O1 1`] = `"2b51b40fb3f9724554f139f931578d206e0815299bc68b8e6215a16dd28b95e8"`;
+
+exports[`the code does not depend on the markers > basic/functions.bug at O2 1`] = `"7b5d526c0b4d16c7f83ff9816524d235fa6e724d66d008a55af35c7e9f8240ca"`;
+
+exports[`the code does not depend on the markers > basic/functions.bug at O3 1`] = `"52e719967eff5d1160dad6bd19d33427d67d98ea1bb30efdcbb6dd160271255e"`;
+
+exports[`the code does not depend on the markers > basic/minimal.bug at O0 1`] = `"9c87a5d76a40ee23c01d10341b35d08d39bd9bef71df5f688dbf738f50b3111f"`;
+
+exports[`the code does not depend on the markers > basic/minimal.bug at O1 1`] = `"7fac02075da002e516ffe2700720450b10d3964764e79409374ed02f4df2a3a7"`;
+
+exports[`the code does not depend on the markers > basic/minimal.bug at O2 1`] = `"7fac02075da002e516ffe2700720450b10d3964764e79409374ed02f4df2a3a7"`;
+
+exports[`the code does not depend on the markers > basic/minimal.bug at O3 1`] = `"7fac02075da002e516ffe2700720450b10d3964764e79409374ed02f4df2a3a7"`;
+
+exports[`the code does not depend on the markers > basic/variables.bug at O0 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > basic/variables.bug at O1 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > basic/variables.bug at O2 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > basic/variables.bug at O3 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > calls in sequence at O0 1`] = `"2a2cd5bfc34f95aa17517bbc4862cdee63b5e568b896ba232cb7b003c2469255"`;
+
+exports[`the code does not depend on the markers > calls in sequence at O1 1`] = `"fc7fb90e0765e5347da8c470befe2664d6522d8d9c0de0010ff43785f6e77365"`;
+
+exports[`the code does not depend on the markers > calls in sequence at O2 1`] = `"05321b02791be0288522e6b7b8b8e45ae683d21d8e11051f47ae6903b3024c54"`;
+
+exports[`the code does not depend on the markers > calls in sequence at O3 1`] = `"b5af313fd2aa2f47d693cd9d927becce9dbf9cefc8d0c26651929db9fdd426b8"`;
+
+exports[`the code does not depend on the markers > dispatch at O0 1`] = `"2e526428199bfcfd12a21c7a1ddee81c3498442e40822c6a8b146d745198c008"`;
+
+exports[`the code does not depend on the markers > dispatch at O1 1`] = `"2f4b97d5bf871f8724ae80aecb2c4bdbfef02ec00def3b128a1d3626e29cae17"`;
+
+exports[`the code does not depend on the markers > dispatch at O2 1`] = `"96bb9a57b8760410ae7114b06cfa6bf2485b03d504447ca408f6398d74c99b87"`;
+
+exports[`the code does not depend on the markers > dispatch at O3 1`] = `"9cb4cfde869c923c8337bfa00901699493b5c4a33960794ecda30d6cb6ac921c"`;
+
+exports[`the code does not depend on the markers > intermediate/arrays.bug at O0 1`] = `"5a68146b7c7bf93288b187b39b413d9d09813a039f791671923fc1c4ecf9c4cf"`;
+
+exports[`the code does not depend on the markers > intermediate/arrays.bug at O1 1`] = `"b6a6dbce13c123c9a84bcb077d92ff2ad4ee3aaeb779c3cad2cdc265905cc47f"`;
+
+exports[`the code does not depend on the markers > intermediate/arrays.bug at O2 1`] = `"689caf7eff80dba0e92ece55580842c15e50a8e53e5af94f1be7b031429b600f"`;
+
+exports[`the code does not depend on the markers > intermediate/arrays.bug at O3 1`] = `"c499b60551b4655e4baee39d8fa71615501e1894a079f539a1c4f89769e2a45c"`;
+
+exports[`the code does not depend on the markers > intermediate/bytes.bug at O0 1`] = `"ef515bf6b34a9dc09b357c69054fd075c878cc531bdd1aaac299bc28732ff6b0"`;
+
+exports[`the code does not depend on the markers > intermediate/bytes.bug at O1 1`] = `"9d1352928f1cf27b83eedf97b63dd2f9005c10526f25e3e67d644228e00e6c30"`;
+
+exports[`the code does not depend on the markers > intermediate/bytes.bug at O2 1`] = `"9d1352928f1cf27b83eedf97b63dd2f9005c10526f25e3e67d644228e00e6c30"`;
+
+exports[`the code does not depend on the markers > intermediate/bytes.bug at O3 1`] = `"9d1352928f1cf27b83eedf97b63dd2f9005c10526f25e3e67d644228e00e6c30"`;
+
+exports[`the code does not depend on the markers > intermediate/calldata.bug at O0 1`] = `"ee3dac77c70ff4e78ece119f6e29b5dffe974646f835b325f6b4213556c10897"`;
+
+exports[`the code does not depend on the markers > intermediate/calldata.bug at O1 1`] = `"a971db577532adbc53f77ca1aa00f331e9650393a8d479a74506ca425b37509e"`;
+
+exports[`the code does not depend on the markers > intermediate/calldata.bug at O2 1`] = `"ea5ef4359e73cf0cf95b9db996b6600f5adda630c74d831a2a189b689dd7b529"`;
+
+exports[`the code does not depend on the markers > intermediate/calldata.bug at O3 1`] = `"ea5ef4359e73cf0cf95b9db996b6600f5adda630c74d831a2a189b689dd7b529"`;
+
+exports[`the code does not depend on the markers > intermediate/internal-functions.bug at O0 1`] = `"03a14e6870bf8ade51be3fb92703b7e1baa4de253e67f15bc33bd5cb3bf69192"`;
+
+exports[`the code does not depend on the markers > intermediate/internal-functions.bug at O1 1`] = `"03a14e6870bf8ade51be3fb92703b7e1baa4de253e67f15bc33bd5cb3bf69192"`;
+
+exports[`the code does not depend on the markers > intermediate/internal-functions.bug at O2 1`] = `"fcce9f8eab1796ac1a5df9065dd1fcb83c2e973ddbf0c2e152115668312aa5d0"`;
+
+exports[`the code does not depend on the markers > intermediate/internal-functions.bug at O3 1`] = `"30312a58f1fa5c9137549b4f575b4122fab3d74f860aae5123e662b63aaac7b3"`;
+
+exports[`the code does not depend on the markers > intermediate/literals.bug at O0 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/literals.bug at O1 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/literals.bug at O2 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/literals.bug at O3 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/mappings.bug at O0 1`] = `"208d92ccae758ab0af5549cec75608830c1e0022995a841e3c66c98a5a32bca3"`;
+
+exports[`the code does not depend on the markers > intermediate/mappings.bug at O1 1`] = `"bdc048d5d02236b9e92893897c158570c536c1ad3b8f0bb0727217b6cae1b10b"`;
+
+exports[`the code does not depend on the markers > intermediate/mappings.bug at O2 1`] = `"0d62a5767d6f632d2458a10bda6abc33f3a70a7a96a7ddf6f246514245777a69"`;
+
+exports[`the code does not depend on the markers > intermediate/mappings.bug at O3 1`] = `"0d62a5767d6f632d2458a10bda6abc33f3a70a7a96a7ddf6f246514245777a69"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-arrays.bug at O0 1`] = `"d1de94dd3fde15a4411886f718220fb2e837fb96548dfcaec8b6745e49efdb87"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-arrays.bug at O1 1`] = `"87f8488b12d5b6adb2159f2acc21ec7b6abaa882e7267a362cf0bd601fcfd60c"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-arrays.bug at O2 1`] = `"09e6bc75ee8e9933ef4a96dc42a456f2c6ccbd8107a2cba40b1a55cf45838e83"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-arrays.bug at O3 1`] = `"09e6bc75ee8e9933ef4a96dc42a456f2c6ccbd8107a2cba40b1a55cf45838e83"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-slices.bug at O0 1`] = `"fd801bb38edc3cf7d27719f912e5c9adeb51f311d2fe9a97c18409d55734658d"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-slices.bug at O1 1`] = `"83dece801364a4122081a0735a74f0e37b312b2ee82946a94b51b9e7093a274b"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-slices.bug at O2 1`] = `"83dece801364a4122081a0735a74f0e37b312b2ee82946a94b51b9e7093a274b"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-slices.bug at O3 1`] = `"83dece801364a4122081a0735a74f0e37b312b2ee82946a94b51b9e7093a274b"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-structs.bug at O0 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-structs.bug at O1 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-structs.bug at O2 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/memory-structs.bug at O3 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-check.bug at O0 1`] = `"e5f5b44a9cebb0ecdea025d904bd9059ebf3a5c0b2812636e07aa0b2f8919c8c"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-check.bug at O1 1`] = `"ac4a8bbef41a3b020e8a40b25ddcacfdc63f67524a137861e7a384b02813fce4"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-check.bug at O2 1`] = `"ac4a8bbef41a3b020e8a40b25ddcacfdc63f67524a137861e7a384b02813fce4"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-check.bug at O3 1`] = `"ac4a8bbef41a3b020e8a40b25ddcacfdc63f67524a137861e7a384b02813fce4"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-counter.bug at O0 1`] = `"9de1b2c04a3693ef1cb989a5e52a86e7ab4e9c94633cb4da8a4ccc67dd5c521d"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-counter.bug at O1 1`] = `"3e1bc7d219220d983858e6a8b46e80c450d6f634fcdec21865c7d648e20e9c1d"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-counter.bug at O2 1`] = `"3e1bc7d219220d983858e6a8b46e80c450d6f634fcdec21865c7d648e20e9c1d"`;
+
+exports[`the code does not depend on the markers > intermediate/owner-counter.bug at O3 1`] = `"7c9024d58310457605274f9baeccf6dd89acdc152c9ab9a35ab8881532f6b6f8"`;
+
+exports[`the code does not depend on the markers > intermediate/packed-struct.bug at O0 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/packed-struct.bug at O1 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/packed-struct.bug at O2 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/packed-struct.bug at O3 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > intermediate/phi-nodes.bug at O0 1`] = `"4feaef5750fe3b2a337a107283589c0f719f82c7761455cb660a77cd53f58d32"`;
+
+exports[`the code does not depend on the markers > intermediate/phi-nodes.bug at O1 1`] = `"6d4c6ea207ad3a5c967c8ca80d9a7a594c17ab9fd582856f0f977e766d316b58"`;
+
+exports[`the code does not depend on the markers > intermediate/phi-nodes.bug at O2 1`] = `"6d4c6ea207ad3a5c967c8ca80d9a7a594c17ab9fd582856f0f977e766d316b58"`;
+
+exports[`the code does not depend on the markers > intermediate/phi-nodes.bug at O3 1`] = `"6d4c6ea207ad3a5c967c8ca80d9a7a594c17ab9fd582856f0f977e766d316b58"`;
+
+exports[`the code does not depend on the markers > intermediate/pointer-shapes.bug at O0 1`] = `"0ea8fcf89707f2868284d965ddd743ad96df4091b78642e5cd328fcfac42b6a9"`;
+
+exports[`the code does not depend on the markers > intermediate/pointer-shapes.bug at O1 1`] = `"c1a7b25b6c663855114141be67df907a165c269099f1e2af7666372c62e3830b"`;
+
+exports[`the code does not depend on the markers > intermediate/pointer-shapes.bug at O2 1`] = `"369bc9d3794d4400613f92b5d614080a844c4e22968d149475142354e5df3861"`;
+
+exports[`the code does not depend on the markers > intermediate/pointer-shapes.bug at O3 1`] = `"024072c4c363eee5bd0488cf46d168691234fb6926f2771bfcf483f68e0b5c37"`;
+
+exports[`the code does not depend on the markers > intermediate/scopes.bug at O0 1`] = `"6f7fab968d0fdf458d2536c83abbb3e36a2291d4d3c32b6c4874831a7d28e9bc"`;
+
+exports[`the code does not depend on the markers > intermediate/scopes.bug at O1 1`] = `"9e9e0d1d5e3b39e7ddb512bb5de2ca8d3d6d32fd12a211a68ed0c27ac273b0dc"`;
+
+exports[`the code does not depend on the markers > intermediate/scopes.bug at O2 1`] = `"990ea851a89f3cf194506deb42a9f0640fda9b4da8f6984219622b2f6f7538e3"`;
+
+exports[`the code does not depend on the markers > intermediate/scopes.bug at O3 1`] = `"990ea851a89f3cf194506deb42a9f0640fda9b4da8f6984219622b2f6f7538e3"`;
+
+exports[`the code does not depend on the markers > intermediate/slices.bug at O0 1`] = `"5b4bddf07b235d1891fbb0d19e0a9cbca8ab4d2083423243da0ca296291011a6"`;
+
+exports[`the code does not depend on the markers > intermediate/slices.bug at O1 1`] = `"2023cdd09cc12969678598f68ffba3188aa8ef9ef9157332f90f1e1f987147e0"`;
+
+exports[`the code does not depend on the markers > intermediate/slices.bug at O2 1`] = `"2023cdd09cc12969678598f68ffba3188aa8ef9ef9157332f90f1e1f987147e0"`;
+
+exports[`the code does not depend on the markers > intermediate/slices.bug at O3 1`] = `"2023cdd09cc12969678598f68ffba3188aa8ef9ef9157332f90f1e1f987147e0"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-arrays.bug at O0 1`] = `"24469940f8a0724f0257d1f8479e713ea7b0792f5af41d9acfd3cd2156dea117"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-arrays.bug at O1 1`] = `"93842f4e97f43a0b1713f695007ccfcd76b7d4ab4f730fd35180efdd9456cca8"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-arrays.bug at O2 1`] = `"e3178986ce39eafcffe31b85de4ca286afde9dfaf84a51502d0035b90d49a2f8"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-arrays.bug at O3 1`] = `"e3178986ce39eafcffe31b85de4ca286afde9dfaf84a51502d0035b90d49a2f8"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-bytes-slice.bug at O0 1`] = `"3535e92551d04c8faf45bfcf433db9f3b66cf3342279d0be01e7632182e45f9d"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-bytes-slice.bug at O1 1`] = `"fa92063883b4de1e8419317c9caae55d8af9b9e1d13c17639aa87c31ab45c14c"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-bytes-slice.bug at O2 1`] = `"fa92063883b4de1e8419317c9caae55d8af9b9e1d13c17639aa87c31ab45c14c"`;
+
+exports[`the code does not depend on the markers > intermediate/storage-bytes-slice.bug at O3 1`] = `"fa92063883b4de1e8419317c9caae55d8af9b9e1d13c17639aa87c31ab45c14c"`;
+
+exports[`the code does not depend on the markers > intermediate/strings.bug at O0 1`] = `"fe630fe24a89a7fe39afb7f1ccb475bc43c56404319cdf601d0a679211448465"`;
+
+exports[`the code does not depend on the markers > intermediate/strings.bug at O1 1`] = `"f710905b506c068ae1ae3b5acd7257e207e48266172e0fc9b59dc25cc1abdeec"`;
+
+exports[`the code does not depend on the markers > intermediate/strings.bug at O2 1`] = `"02c3c2321ef8041786d0c865c47f432e54964ed5f03e1395c1e6c9ba5760fad1"`;
+
+exports[`the code does not depend on the markers > intermediate/strings.bug at O3 1`] = `"c6133901e24b6a332a018811adb809354bcc468bf51c897d22b419350162cf70"`;
+
+exports[`the code does not depend on the markers > nested calls at O0 1`] = `"0c66cc768da113a946c83eda0bf3922964509400493e4833781830916142965d"`;
+
+exports[`the code does not depend on the markers > nested calls at O1 1`] = `"f2a624efaa4580303805eda1d001a6e56e266032a6497545fa26500f629ee42f"`;
+
+exports[`the code does not depend on the markers > nested calls at O2 1`] = `"e41f30fd36980bea5453232a71105f1f31b759d89485cba6c62a75f75398f34f"`;
+
+exports[`the code does not depend on the markers > nested calls at O3 1`] = `"1e6d59df26dd3f7cb8cf731919359bd2f5a1a1e82e6501b92de328b5aff0e27b"`;
+
+exports[`the code does not depend on the markers > nested calls, not called at O0 1`] = `"0c66cc768da113a946c83eda0bf3922964509400493e4833781830916142965d"`;
+
+exports[`the code does not depend on the markers > nested calls, not called at O1 1`] = `"f2a624efaa4580303805eda1d001a6e56e266032a6497545fa26500f629ee42f"`;
+
+exports[`the code does not depend on the markers > nested calls, not called at O2 1`] = `"e41f30fd36980bea5453232a71105f1f31b759d89485cba6c62a75f75398f34f"`;
+
+exports[`the code does not depend on the markers > nested calls, not called at O3 1`] = `"1e6d59df26dd3f7cb8cf731919359bd2f5a1a1e82e6501b92de328b5aff0e27b"`;
+
+exports[`the code does not depend on the markers > optimizations/constant-folding.bug at O0 1`] = `"75fa4ea24c71a0f4a2537f8c6caf98aa4198808955159930e9865ba77494f2f0"`;
+
+exports[`the code does not depend on the markers > optimizations/constant-folding.bug at O1 1`] = `"8ee32107586fc7c84863cc3b7ba36e2c23f589c699984451dbc40afd318d3ae9"`;
+
+exports[`the code does not depend on the markers > optimizations/constant-folding.bug at O2 1`] = `"8ee32107586fc7c84863cc3b7ba36e2c23f589c699984451dbc40afd318d3ae9"`;
+
+exports[`the code does not depend on the markers > optimizations/constant-folding.bug at O3 1`] = `"8ee32107586fc7c84863cc3b7ba36e2c23f589c699984451dbc40afd318d3ae9"`;
+
+exports[`the code does not depend on the markers > optimizations/cse.bug at O0 1`] = `"b021b3e98dc7a8fb7647b1df4e7987bbf16a808a5316fd9b85f719b72421f34f"`;
+
+exports[`the code does not depend on the markers > optimizations/cse.bug at O1 1`] = `"df8f5661fe7448e8f38495cdac67c25e2631e947768d4adac457b2633c897954"`;
+
+exports[`the code does not depend on the markers > optimizations/cse.bug at O2 1`] = `"f40077d848a4f5b62c6ab4a171700565689667ec54d97642e053a7df7edc3282"`;
+
+exports[`the code does not depend on the markers > optimizations/cse.bug at O3 1`] = `"f40077d848a4f5b62c6ab4a171700565689667ec54d97642e053a7df7edc3282"`;
+
+exports[`the code does not depend on the markers > optimizations/cse-simple.bug at O0 1`] = `"8c95d45f17067c84dc07b42f48c1257af8d92e80f0e94d7a92b352985bc9773b"`;
+
+exports[`the code does not depend on the markers > optimizations/cse-simple.bug at O1 1`] = `"be543722fe6c8e1ea1d9bb4e0e09314560542e795eb3d7fdbd131fca72fd2e2b"`;
+
+exports[`the code does not depend on the markers > optimizations/cse-simple.bug at O2 1`] = `"be543722fe6c8e1ea1d9bb4e0e09314560542e795eb3d7fdbd131fca72fd2e2b"`;
+
+exports[`the code does not depend on the markers > optimizations/cse-simple.bug at O3 1`] = `"be543722fe6c8e1ea1d9bb4e0e09314560542e795eb3d7fdbd131fca72fd2e2b"`;
+
+exports[`the code does not depend on the markers > wip/returndata.bug at O0 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/returndata.bug at O1 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/returndata.bug at O2 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/returndata.bug at O3 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/transient-storage.bug at O0 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/transient-storage.bug at O1 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/transient-storage.bug at O2 1`] = `"does not compile"`;
+
+exports[`the code does not depend on the markers > wip/transient-storage.bug at O3 1`] = `"does not compile"`;
diff --git a/packages/bugc/src/evmgen/activation-pairing.test.ts b/packages/bugc/src/evmgen/activation-pairing.test.ts
index 47c2aedff0..cca8155d29 100644
--- a/packages/bugc/src/evmgen/activation-pairing.test.ts
+++ b/packages/bugc/src/evmgen/activation-pairing.test.ts
@@ -275,28 +275,27 @@ describe("every invoke is matched by its return", () => {
 // (or dropped) rather than kept by keeping code. A change to the code
 // generation that is meant changes them, too (`vitest -u`).
 describe("the code does not depend on the markers", () => {
-  it("is the same for every example and program here", async () => {
-    const sources = {
-      ...exampleSources,
-      ...Object.fromEntries(programs.map(({ name, source }) => [name, source])),
-      dispatch,
-    };
-    const digests: Record<string, string> = {};
-    for (const [name, source] of Object.entries(sources)) {
-      for (const level of levels) {
+  const sources = {
+    ...exampleSources,
+    ...Object.fromEntries(programs.map(({ name, source }) => [name, source])),
+    dispatch,
+  };
+  for (const [name, source] of Object.entries(sources)) {
+    for (const level of levels) {
+      it(`${name} at O${level}`, async () => {
         const result = await compile({
           to: "bytecode",
           source,
           optimizer: { level },
         });
-        digests[`${name} at O${level}`] = result.success
+        const digest = result.success
           ? createHash("sha256")
               .update(result.value.bytecode.runtime)
               .update(result.value.bytecode.create ?? new Uint8Array())
               .digest("hex")
           : "does not compile";
-      }
+        expect(digest).toMatchSnapshot();
+      });
     }
-    expect(digests).toMatchSnapshot();
-  });
+  }
 });