diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1cab213..f25345b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -78,6 +78,10 @@ add_test(
 	NAME compile_borrow
 	COMMAND fzc -o "${CMAKE_CURRENT_BINARY_DIR}/borrow.fzb" "${CMAKE_CURRENT_SOURCE_DIR}/exl/borrow.fzs"
 )
+add_test(
+	NAME compile_hard_1
+	COMMAND fzc -o "${CMAKE_CURRENT_BINARY_DIR}/hard-1.fzb" "${CMAKE_CURRENT_SOURCE_DIR}/exl/hard-1.fzs"
+)
 
 set_tests_properties(compile_problematic_hw PROPERTIES WILL_FAIL TRUE)
 
@@ -125,4 +129,8 @@ add_test(
 	NAME runtime_borrow
 	COMMAND fz "${CMAKE_CURRENT_BINARY_DIR}/borrow.fzb"
 )
+add_test(
+	NAME runtime_hard_1
+	COMMAND fz "${CMAKE_CURRENT_BINARY_DIR}/hard-1.fzb"
+)
 
diff --git a/exl/borrow.fzs b/exl/borrow.fzs
index 660be89..3a538a9 100644
--- a/exl/borrow.fzs
+++ b/exl/borrow.fzs
@@ -32,6 +32,6 @@ printline(a);
 a = doSome(a);
 printline(a);
 
-b = doSomeNew();
+A b = doSomeNew();
 printline(b);
 
diff --git a/exl/hard-1.fzs b/exl/hard-1.fzs
index 077d26e..9588901 100644
--- a/exl/hard-1.fzs
+++ b/exl/hard-1.fzs
@@ -51,6 +51,7 @@ printline("Elements:");
 list.printList();
 
 printline("===== Test 2: mutation & methods =====");
+list = list.append(10);
 int total = list.sum();
 printline("Sum of elements:");
 printline(total);