static const char version[] = "5.19.0";