#include <string.h>
+
+#ifdef KERNEL
+#define NDEBUG
+#endif
#include <debug.h>
/* Copies SIZE bytes from SRC to DST, which must not overlap.
single string.
strtok_r() modifies the string S, changing delimiters to null
- bytes. Thus, S must be a modifiable string.
+ bytes. Thus, S must be a modifiable string. String literals,
+ in particular, are *not* modifiable in C, even though for
+ backward compatibility they are not `const'.
Example usage: