Update chapters/functions.tex

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

chapters/functions.tex

@@ -2374,7 +2374,8 @@ \subsection{Annotations for External Functions}\label{annotations-for-external-l
 
   The included code should be valid C89 code.
   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.
+This gives a code fragment \lstinline!"insertedCode"! conditionally preceded by a header for \lstinline[language=C]!size_t!.
+It must be possible to compile this code fragment 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.