diff --git a/test/regression/arraystestcontract.ref b/test/regression/arraystestcontract.ref
new file mode 100644
index 0000000..61f4826
--- /dev/null
+++ b/test/regression/arraystestcontract.ref
@@ -0,0 +1,99 @@
+
+
+ .K
+
+
+ TestArraysContract
+
+
+ .IfaceCellMap
+
+
+
+
+ TestArraysContract
+
+
+ arr |-> uint256 [ ]
+ fixedSizeArr |-> uint256 [ 10 ]
+
+
+ .List
+
+
+
+
+ arr
+
+
+ public
+
+
+ .List
+
+
+ .List
+
+
+ ListItem ( uint256 [ ] )
+
+
+ return arr ; .Statements
+
+
+
+ constructor
+
+
+ public
+
+
+ .List
+
+
+ .List
+
+
+ .List
+
+
+ .Statements
+
+
+
+
+
+
+
+ 1p160
+
+
+ 0p256
+
+
+ 1p160
+
+
+ .Map
+
+
+ .Map
+
+
+
+
+ 2p160
+
+
+ TestArraysContract
+
+
+ .Map
+
+
+
+
+ 3p160
+
+
+
diff --git a/test/regression/arraystestcontract.sol b/test/regression/arraystestcontract.sol
new file mode 100644
index 0000000..933fa6c
--- /dev/null
+++ b/test/regression/arraystestcontract.sol
@@ -0,0 +1,9 @@
+pragma solidity ^0.8.24;
+
+contract TestArraysContract {
+
+ uint256[] public arr;
+ uint256[10] private fixedSizeArr;
+
+ constructor() {}
+}
diff --git a/test/regression/arraystestcontract.txn b/test/regression/arraystestcontract.txn
new file mode 100644
index 0000000..cc1f237
--- /dev/null
+++ b/test/regression/arraystestcontract.txn
@@ -0,0 +1 @@
+create(1, 0, TestArraysContract, )
diff --git a/test/regression/mapstestcontract.ref b/test/regression/mapstestcontract.ref
new file mode 100644
index 0000000..e96272b
--- /dev/null
+++ b/test/regression/mapstestcontract.ref
@@ -0,0 +1,119 @@
+
+
+ .K
+
+
+ TestMapsContract
+
+
+ .IfaceCellMap
+
+
+
+
+ TestMapsContract
+
+
+ testMap |-> mapping ( address => uint256 )
+ testMapWithOptIds |-> mapping ( address key => uint256 val )
+ testNestedMap |-> mapping ( address => mapping ( uint256 => address ) )
+
+
+ .List
+
+
+
+
+ constructor
+
+
+ public
+
+
+ .List
+
+
+ .List
+
+
+ .List
+
+
+ .Statements
+
+
+
+ testMap
+
+
+ public
+
+
+ .List
+
+
+ .List
+
+
+ ListItem ( mapping ( address => uint256 ) )
+
+
+ return testMap ; .Statements
+
+
+
+ testMapWithOptIds
+
+
+ public
+
+
+ .List
+
+
+ .List
+
+
+ ListItem ( mapping ( address key => uint256 val ) )
+
+
+ return testMapWithOptIds ; .Statements
+
+
+
+
+
+
+
+ 1p160
+
+
+ 0p256
+
+
+ 1p160
+
+
+ .Map
+
+
+ .Map
+
+
+
+
+ 2p160
+
+
+ TestMapsContract
+
+
+ .Map
+
+
+
+
+ 3p160
+
+
+
diff --git a/test/regression/mapstestcontract.sol b/test/regression/mapstestcontract.sol
new file mode 100644
index 0000000..4f7c097
--- /dev/null
+++ b/test/regression/mapstestcontract.sol
@@ -0,0 +1,10 @@
+pragma solidity ^0.8.24;
+
+contract TestMapsContract {
+
+ mapping(address => uint256) public testMap;
+ mapping(address key => uint256 val) public testMapWithOptIds;
+ mapping(address => mapping(uint256 => address)) private testNestedMap;
+
+ constructor() {}
+}
diff --git a/test/regression/mapstestcontract.txn b/test/regression/mapstestcontract.txn
new file mode 100644
index 0000000..f97c4e2
--- /dev/null
+++ b/test/regression/mapstestcontract.txn
@@ -0,0 +1 @@
+create(1, 0, TestMapsContract, )