string getCompileDateTime() {    static string result = "";    if(result == "") {        result = string(__DATE__) + " " + string(__TIME__);    }    return result;}