const char *version_string = "1.01";
const char *major_version = "1";
const char *minor_version = "1";