extern bool checknull; /* check null pointers */
extern bool checkfloats; /* implement ieee compliant floats */
extern bool checksync; /* do synchronization */
extern bool checknull; /* check null pointers */
extern bool checkfloats; /* implement ieee compliant floats */
extern bool checksync; /* do synchronization */