-/* A system call that writes up to n characters to a file identified by given
- file descriptor. Return the number of characters actually written, or -1
- if an error occured. Note that the number of characters may well be lower
- than n without an error having occured.
-*/
-int _PDCLIB_write( struct _PDCLIB_file_t * stream, char const * buffer, int n );
+#ifdef _PDCLIB_HAVE_REALLOCPAGES
+/* A system call which attempts to reallocate the group of \p on pages starting
+ at \p p, resizing the chunk to be \p nn pages long. If \p mayMove is true,
+ then then the group of pages may move; otherwise, if the group cannot be
+ resized in its current position, failure must be reported.