1 files changed, 8 insertions, 1 deletions
diff --git a/test/c/gvector.sail b/test/c/gvector.sail
index e7553644..3e452985 100644
--- a/test/c/gvector.sail
+++ b/test/c/gvector.sail
@@ -1,5 +1,6 @@
 default Order dec
 
+$include <exception_basic.sail>
 $include <vector_dec.sail>
 
 val "print_int" : (string, int) -> unit
@@ -8,10 +9,16 @@ register R : vector(32, dec, vector(32, dec, bit))
 
 register T : vector(32, dec, int)
 
-val main : unit -> unit effect {rreg, wreg}
+register Q : vector(3, dec, int)
+
+val main : unit -> unit effect {rreg, wreg, escape}
 
 function main () = {
   R[0] = 0xDEAD_BEEF;
+  Q = [11435, 53414, 681];
+  assert(Q[0] == 681);
+  Q = [Q with 0 = 1000000];
+  assert(Q[0] == 1000000);
   T[1] = 5;
   print_int("T[1] = ", T[1]);
   let y = T;