Green Card ``connects'' with code in other modules in two ways:
%dis function
definitions (only) from these modules. This provides an easy mechanism
for Green Card to import DIS functions defined elsewhere.
#included when the C code fragments in Green Card directives is
compiled. The %#include directive performs this delayed
#include. The syntax is exactly that of a C #include apart
from the initial %.