diff --git a/examples/acceptance_tests/040/lib/tests.ak b/examples/acceptance_tests/040/lib/tests.ak
index 249423ce..5cdb783d 100644
--- a/examples/acceptance_tests/040/lib/tests.ak
+++ b/examples/acceptance_tests/040/lib/tests.ak
@@ -1,8 +1,9 @@
-pub type Door{
-  angle: Int,
-  locked: Bool
-}
+use aiken/builtin
 
+pub type Door {
+  angle: Int,
+  locked: Bool,
+}
 
 pub type Car {
   Honda { remote_connect: ByteArray, owner: ByteArray, wheels: Int }
@@ -11,19 +12,22 @@ pub type Car {
     owner: ByteArray,
     wheels: Int,
     truck_bed_limit: Int,
-    car_doors: List<Door>
+    car_doors: List<Door>,
   }
 }
 
-// test update_owner2_should_fail(){
-//   let initial_car: Data = Ford{remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000, car_doors: []}
-//   assert Honda{ owner, ..}: Car = initial_car
-//   owner == #[]
-// }
-
 test update_owner1() {
-  let initial_car: Data =
-    Ford { remote_connect: #[], owner: #[], wheels: 4, truck_bed_limit: 10000, car_doors: [] }
-  assert Ford { owner, .. }: Car = initial_car
-  owner == #[]
+  let initial_car =
+    builtin.constr_data(
+      1,
+      [
+        builtin.b_data(#""),
+        builtin.b_data(#""),
+        builtin.i_data(4),
+        builtin.i_data(10000),
+        builtin.list_data([]),
+      ],
+    )
+  assert Ford { owner, wheels, truck_bed_limit, .. }: Car = initial_car
+  owner == #"" && wheels == 4 && truck_bed_limit == 10000
 }