#include "rcsbase.h" char const RCS_version_string[] = "5.7";