This page is primarily for internal use.

<pre>

1. If you do not want to include the .cats file from the directory
$ATSHOME/prelude/CATS/ automatically, please add the following flag:

-D_ATS_PRELUDE_NONE

when compiling the C code generated from compiling ATS programs.

2. If you want to assign a name, say FOOBAR, to the dynamic load function
for a particular file, you can simply add the following line in that file:

#define ATS_DYNLOADFUN_NAME "FOOBAR"

This allows you to perform initialization by calling FOOBAR explicitly.  If
you do this, you probably also need the following line somewhere in the file
to disable implicit initialization:

#define ATS_DYNLOADFLAG 0

Note that the C interface for FOOBAR is simply:

extern void FOOBAR () ;

3. If you do not want to generate a static load function for the file you
compile, please add the following flag:

-D_ATS_STALOADFUN_NONE

when compiling the C code generated from ATS programs.

Note that this would cause a serious problem if datatypes or exceptions
are defined in that file.

</pre>