init new dev release
/* Version string: */
// c = release, a = volatile github dev, e = experimental branch
-#define VERSION "++4.01c"
+#define VERSION "++4.02a"
/******************************************************
* *
