Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

chapters/functions.tex

@@ -2373,8 +2373,8 @@ \subsection{Annotations for External Functions}\label{annotations-for-external-l
   In case calls to several external functions are generated in the same translation unit, the \lstinline!Include! annotations of the different functions must not define the same function -- except when relying on the deprecated behavior.
 
   The included code should be valid C89 code.
-  If the code uses arrays the tool is responsible for ensuring that a C-header defining \lstinline[language=C]!size_t! is included before this code.
-  The user is responsible for ensuring that the C-code can be compiled separately -- with \lstinline[language=C]!#include <stddef.h>! prepended if using any array.
+  If the \lstinline[language=grammar]!external-function-call! contains any `size`-expression, the tool is responsible for ensuring that a C-header defining \lstinline[language=C]!size_t! is included before the \lstinline!"insertedCode"!.
+  The \lstinline!"insertedCode"! (following the inclusion of a header for \lstinline[language=C]!size_t! when this would be a tool responsibility) shall be possible to compile separately.
 
   When an \lstinline!Include! annotation is present, it shall provide a prototype for the external function, and hence the tool shall not produce an automatically generated prototype in the generated code in this case.