From b77228626174c346a67b1debced2a6da70ee34a5 Mon Sep 17 00:00:00 2001
From: Akilan <me@akilan.io>
Date: Mon, 23 Feb 2026 11:44:35 +0000
Subject: [PATCH] saving current changes

---
 CHERICC_Fat.bsv | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHERICC_Fat.bsv b/CHERICC_Fat.bsv
index a712ac4..0d39288 100644
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -1451,10 +1451,18 @@ instance CHERICap #(CapPipe, OTypeW, FlagsW, CapAddrW, CapW, TSub#(MW, 3), Delta
     return CapPipe { capFat: res, tempFields: getTempFields(res) };
   endfunction
 
+typedef struct {
+  Bit#(39) trueAddr;
+  Bit#(25) delta;
+} MyAddr deriving (Bits);
+
   //Functions that require TempFields
 
   function setAddr (cap, address);
-    let result = setAddress(cap.capFat, address, cap.tempFields);
+    // todo
+    MyAddr myAddr = unpack(pack(addr));
+    myAddr.delta = 42;
+    let result = setAddress(cap.capFat, pack(myAddr), cap.tempFields);
     cap.capFat = result.d;
     cap.tempFields = getTempFields(cap.capFat);
     return Exact { exact: result.v, value: cap };