diff --git a/include/roaring/array_util.h b/include/roaring/array_util.h
index 8ac875a7..20ebf923 100644
--- a/include/roaring/array_util.h
+++ b/include/roaring/array_util.h
@@ -233,13 +233,13 @@ size_t union_uint32(const uint32_t *set_1, size_t size_1, const uint32_t *set_2,
  */
 uint32_t union_vector16(const uint16_t *__restrict__ set_1, uint32_t size_1,
                         const uint16_t *__restrict__ set_2, uint32_t size_2,
-                        uint16_t *__restrict__ buffer);
+                        uint16_t *buffer);
 /**
  * A fast SSE-based XOR function.
  */
 uint32_t xor_vector16(const uint16_t *__restrict__ array1, uint32_t length1,
                       const uint16_t *__restrict__ array2, uint32_t length2,
-                      uint16_t *__restrict__ output);
+                      uint16_t *output);
 
 /**
  * A fast SSE-based difference function.
diff --git a/src/array_util.c b/src/array_util.c
index 45fc48ae..e8979cd9 100644
--- a/src/array_util.c
+++ b/src/array_util.c
@@ -1655,7 +1655,7 @@ CROARING_TARGET_AVX2
 // This function may not be safe if array1 == output or array2 == output.
 uint32_t union_vector16(const uint16_t *__restrict__ array1, uint32_t length1,
                         const uint16_t *__restrict__ array2, uint32_t length2,
-                        uint16_t *__restrict__ output) {
+                        uint16_t *output) {
     if ((length1 < 8) || (length2 < 8)) {
         return (uint32_t)union_uint16(array1, length1, array2, length2, output);
     }
@@ -1779,7 +1779,7 @@ CROARING_TARGET_AVX2
 // a one-pass SSE xor algorithm
 uint32_t xor_vector16(const uint16_t *__restrict__ array1, uint32_t length1,
                       const uint16_t *__restrict__ array2, uint32_t length2,
-                      uint16_t *__restrict__ output) {
+                      uint16_t *output) {
     if ((length1 < 8) || (length2 < 8)) {
         return xor_uint16(array1, length1, array2, length2, output);
     }