diff --git a/tests/regression/03-practical/35-thread-binomial-join.c b/tests/regression/03-practical/35-thread-binomial-join.c
index daba0be389..4a076b1ffd 100644
--- a/tests/regression/03-practical/35-thread-binomial-join.c
+++ b/tests/regression/03-practical/35-thread-binomial-join.c
@@ -26,7 +26,7 @@ int data = 0;
 pthread_mutex_t data_mutex = PTHREAD_MUTEX_INITIALIZER;
 
 void *thread(void *arg) {
-  int i = *((int*) arg);
+  int i = arg;
   pthread_mutex_lock(&data_mutex);
   data = __VERIFIER_nondet_int(); // NORACE
   pthread_mutex_unlock(&data_mutex);
diff --git a/tests/regression/03-practical/41-symbolic-thread-array-index.c b/tests/regression/03-practical/41-symbolic-thread-array-index.c
index 53370908e1..a76921b681 100644
--- a/tests/regression/03-practical/41-symbolic-thread-array-index.c
+++ b/tests/regression/03-practical/41-symbolic-thread-array-index.c
@@ -7,7 +7,7 @@ extern int __VERIFIER_nondet_int();
 int *datas;
 
 void *thread(void *arg) {
-  int i = *((int*) arg);
+  int i = arg;
   datas[i] = __VERIFIER_nondet_int(); // NORACE
   return NULL;
 }
diff --git a/tests/regression/03-practical/42-symbolic-thread-array-bitmask.c b/tests/regression/03-practical/42-symbolic-thread-array-bitmask.c
index 3736718959..d5262fb881 100644
--- a/tests/regression/03-practical/42-symbolic-thread-array-bitmask.c
+++ b/tests/regression/03-practical/42-symbolic-thread-array-bitmask.c
@@ -12,7 +12,7 @@ pthread_mutex_t threads_mask_mutex = PTHREAD_MUTEX_INITIALIZER;
 int *datas;
 
 void *thread(void *arg) {
-  int j = *((int*) arg);
+  int j = arg;
   datas[j] = __VERIFIER_nondet_int(); // NORACE
 
   pthread_mutex_lock(&threads_mask_mutex);