From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 16 Oct 2025 20:05:46 +0000 (-0700)
Subject: work - now all files in the corpus successfully load
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8645c5b268559f032f019a9c76aa652ebe94a795;p=pspp

work - now all files in the corpus successfully load
---

diff --git a/rust/doc/src/spv/light-detail.md b/rust/doc/src/spv/light-detail.md
index de82b758e1..bd335a5e6e 100644
--- a/rust/doc/src/spv/light-detail.md
+++ b/rust/doc/src/spv/light-detail.md
@@ -1153,4 +1153,3 @@ from the right side of the cell, in [pt](#pt).
 
 `left-margin`, `right-margin`, `top-margin`, and `bottom-margin` are
 in [pt](#pt).
-
diff --git a/rust/pspp/src/output/spv/light.rs b/rust/pspp/src/output/spv/light.rs
index 9430f85404..1bea946d02 100644
--- a/rust/pspp/src/output/spv/light.rs
+++ b/rust/pspp/src/output/spv/light.rs
@@ -796,7 +796,7 @@ struct Formats {
     y0: Y0,
     custom_currency: CustomCurrency,
     #[br(if(version == Version::V1))]
-    v1: Optional<Counted<N0>>,
+    v1: Counted<Optional<N0>>,
     #[br(if(version == Version::V3))]
     v3: Option<Counted<FormatsV3>>,
 }
@@ -1353,11 +1353,29 @@ struct ValueMods {
     #[br(parse_with(parse_vec))]
     subscripts: Vec<U32String>,
     #[br(if(version == Version::V1))]
-    v1: Option<Sponge>,
+    v1: Option<ValueModsV1>,
     #[br(if(version == Version::V3), parse_with(parse_counted))]
     v3: ValueModsV3,
 }
 
+#[binread]
+#[br(little)]
+#[derive(Debug, Default)]
+struct ValueModsV1 {
+    #[br(temp, magic(0u8), assert(_1 == 1 || _1 == 2))]
+    _1: i32,
+    #[br(temp)]
+    _0: Optional<Zero>,
+    #[br(temp)]
+    _1: Optional<Zero>,
+    #[br(temp)]
+    _2: i32,
+    #[br(temp)]
+    _3: Optional<Zero>,
+    #[br(temp)]
+    _4: Optional<Zero>,
+}
+
 #[binread]
 #[br(little)]
 #[derive(Debug, Default)]