diff --git a/test/run-dfinity/data-params.as b/test/run-dfinity/data-params.as
index cfa7fc937f6..b4f94319050 100644
--- a/test/run-dfinity/data-params.as
+++ b/test/run-dfinity/data-params.as
@@ -48,9 +48,6 @@ let a = actor {
     printInt(c);
     print("\n");
   };
-  readCounter(f : shared Nat -> ()) : () {
-    f(c);
-  };
 };
 
 
@@ -70,7 +67,6 @@ a.increcord(shared {x = 17; y = 18; z = 19});
 a.printCounter();
 a.printLabeled("Foo1: ");
 a.printLabeledOpt(?"Foo2: ");
-// a.readCounter(func (n : Nat) = { printInt n; print("\n") });
 a.incn(10000000000000);
 
 
@@ -124,9 +120,6 @@ let w32 = actor {
     printInt(word32ToInt(c));
     print("\n");
   };
-  readCounter(f : shared Word32 -> ()) : () {
-    f(c);
-  };
 };
 
 
@@ -199,9 +192,6 @@ let w16 = actor {
     printInt(word16ToInt(c));
     print("\n");
   };
-  readCounter(f : shared Word16 -> ()) : () {
-    f(c);
-  };
 };
 
 
diff --git a/test/run-dfinity/ok/data-params.run-ir.ok b/test/run-dfinity/ok/data-params.run-ir.ok
index f879c2bfdac..a814fca710b 100644
--- a/test/run-dfinity/ok/data-params.run-ir.ok
+++ b/test/run-dfinity/ok/data-params.run-ir.ok
@@ -1,6 +1,6 @@
 data-params.as:46.19-46.27: warning, this pattern does not cover all possible values
-data-params.as:122.19-122.27: warning, this pattern does not cover all possible values
-data-params.as:197.19-197.27: warning, this pattern does not cover all possible values
+data-params.as:118.19-118.27: warning, this pattern does not cover all possible values
+data-params.as:190.19-190.27: warning, this pattern does not cover all possible values
 1
 3
 6
diff --git a/test/run-dfinity/ok/data-params.run-low.ok b/test/run-dfinity/ok/data-params.run-low.ok
index f879c2bfdac..a814fca710b 100644
--- a/test/run-dfinity/ok/data-params.run-low.ok
+++ b/test/run-dfinity/ok/data-params.run-low.ok
@@ -1,6 +1,6 @@
 data-params.as:46.19-46.27: warning, this pattern does not cover all possible values
-data-params.as:122.19-122.27: warning, this pattern does not cover all possible values
-data-params.as:197.19-197.27: warning, this pattern does not cover all possible values
+data-params.as:118.19-118.27: warning, this pattern does not cover all possible values
+data-params.as:190.19-190.27: warning, this pattern does not cover all possible values
 1
 3
 6
diff --git a/test/run-dfinity/ok/data-params.run.ok b/test/run-dfinity/ok/data-params.run.ok
index f879c2bfdac..a814fca710b 100644
--- a/test/run-dfinity/ok/data-params.run.ok
+++ b/test/run-dfinity/ok/data-params.run.ok
@@ -1,6 +1,6 @@
 data-params.as:46.19-46.27: warning, this pattern does not cover all possible values
-data-params.as:122.19-122.27: warning, this pattern does not cover all possible values
-data-params.as:197.19-197.27: warning, this pattern does not cover all possible values
+data-params.as:118.19-118.27: warning, this pattern does not cover all possible values
+data-params.as:190.19-190.27: warning, this pattern does not cover all possible values
 1
 3
 6
diff --git a/test/run-dfinity/ok/data-params.tc.ok b/test/run-dfinity/ok/data-params.tc.ok
index 1db161147e8..a83d17237ff 100644
--- a/test/run-dfinity/ok/data-params.tc.ok
+++ b/test/run-dfinity/ok/data-params.tc.ok
@@ -1,3 +1,3 @@
 data-params.as:46.19-46.27: warning, this pattern does not cover all possible values
-data-params.as:122.19-122.27: warning, this pattern does not cover all possible values
-data-params.as:197.19-197.27: warning, this pattern does not cover all possible values
+data-params.as:118.19-118.27: warning, this pattern does not cover all possible values
+data-params.as:190.19-190.27: warning, this pattern does not cover all possible values
diff --git a/test/run-dfinity/ok/data-params.wasm.stderr.ok b/test/run-dfinity/ok/data-params.wasm.stderr.ok
index 1db161147e8..a83d17237ff 100644
--- a/test/run-dfinity/ok/data-params.wasm.stderr.ok
+++ b/test/run-dfinity/ok/data-params.wasm.stderr.ok
@@ -1,3 +1,3 @@
 data-params.as:46.19-46.27: warning, this pattern does not cover all possible values
-data-params.as:122.19-122.27: warning, this pattern does not cover all possible values
-data-params.as:197.19-197.27: warning, this pattern does not cover all possible values
+data-params.as:118.19-118.27: warning, this pattern does not cover all possible values
+data-params.as:190.19-190.27: warning, this pattern does not cover all possible values