index 322123398b6f9babe0cf3bb6c6e3cbc3a7f2d838..2ebff30021b4ca3d26c2f21e6612d7adda2f1ed0 100644 (file)
/* the exact size (in bytes) of the executable part of the file. */
/* this constant needs to be updated everytime a change is made to this file */
-#define exeSize 17028
+#define exeSize 17008
/* fixup types */
int main (int argc, char *argv[])
{
- int i;
+ int i, ok;
BodyProc body;
int callBackAdr;
Module *k, *m;