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.
#include
d 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 %
.