extern const char *creation;
extern const char *revision;
extern const char *codelines;
extern const char *creation;
extern const char *revision;
extern const char *codelines;
extern const int patchlevel;
const char *get_compilation();
const char *get_creation();
const char *get_revision();
extern const int patchlevel;
const char *get_compilation();
const char *get_creation();
const char *get_revision();