char *version_string="XVmines v1.0";