I was wondering how to get CIL to include functions from user-defined header files.  For instance, I have the header file "foo.h", which contains

int bar(void);

There is another file "foo.c" that contains the definition of the "bar" function.  Now, let us say that the file we are going to analyze is:

#include "foo.h"

int garply (int b) {
    if (b > bar()) { ... }}

and so on.  What I would like to be able to do is to use the include-directive to bring in the definition of "bar" into the same file, so that I can inline the definition of "bar" in the "garply" function.  CIL seems to be able to do it for standard library files like "stdio.h", but not for the user-defined "foo.h" above.  I have found a workaround that uses the "extrafiles" command-line argument of cilly, but I was wondering if there was a simpler way to approach this problem.