#ifndef SICSGLOBAL_H
#define SICSGLOBAL_H

extern const char *argv0;
extern int isDuringInitialization;
#endif