const char* GIT_REV="0e36010";
const char* GIT_TAG="";
const char* GIT_BRANCH="rolling-speed-up-alignment";
const char* BUILD_TIME="2021-01-04 12:13";