#define RARVER_MAJOR     5
#define RARVER_MINOR    71
#define RARVER_BETA      0
#define RARVER_DAY      28
#define RARVER_MONTH     4
#define RARVER_YEAR   2019