/***************************** Necessary Globals ****************************/

const char *argv0 = (void*) 0;
int isDuringInitialization = 1; /* gets set to zero after initialization */