+const int revision_master = $git_is_stable;
+const char *dev_revision = "$git_dev_rev";
+
+const int patchlevel = ($git_commitcount ? ($git_commitcount - VERSION_PATCHLEVEL) : 0);
+
+const char *get_compilation() {
+ return compilation;
+}
+
+const char *get_creation() {
+ return creation;
+}
+
+const char *get_revision() {
+ return revision;
+}
+
+const char *get_codelines() {
+ return codelines;
+}
+
+const int is_stable_revision() {
+ return revision_master;
+}
+
+const char *get_dev_revision() {
+ return dev_revision;
+}
+
+const int get_patchlevel() {
+ return patchlevel;
+}