UserResponsibility

chapters/functions.tex

@@ -2374,6 +2374,7 @@ \subsection{Annotations for External Functions}\label{annotations-for-external-l
 
   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.
 
   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.