char *version_string = "0.52";