diff -r e8f354a25ac8 -r 68754c7de906 src/cx/streams.h
--- a/src/cx/streams.h	Thu Nov 07 20:22:56 2024 +0100
+++ b/src/cx/streams.h	Thu Nov 07 22:46:58 2024 +0100
@@ -61,7 +61,10 @@
  * iterations.
  * @return the total number of bytes copied
  */
-__attribute__((__nonnull__(1, 2, 3, 4)))
+cx_attr_nonnull_arg(1, 2, 3, 4)
+cx_attr_access_r(1)
+cx_attr_access_w(2)
+cx_attr_access_w(5)
 size_t cx_stream_bncopy(
         void *src,
         void *dest,
@@ -100,7 +103,9 @@
  * @param n the maximum number of bytes that shall be copied.
  * @return total number of bytes copied
  */
-__attribute__((__nonnull__))
+cx_attr_nonnull
+cx_attr_access_r(1)
+cx_attr_access_w(2)
 size_t cx_stream_ncopy(
         void *src,
         void *dest,