char *version_string = "3.75.1";

/*
  Local variables:
  version-control: never
  End:
 */