608     return res;

   608     return res;

   609 }

   609 }

   610 static inline STRING __dt_to_string(DT IN){

   610 static inline STRING __dt_to_string(DT IN){

   611     STRING res;

   611     STRING res;

   612     tm broken_down_time;

   612     tm broken_down_time;

   614     /* DT#1984-06-25-15:36:55.36 */

   613     /* DT#1984-06-25-15:36:55.36 */

   615     broken_down_time = convert_seconds_to_date_and_time(IN.tv_sec);

   614     broken_down_time = convert_seconds_to_date_and_time(IN.tv_sec);

   616     if(IN.tv_nsec == 0){

   615     if(IN.tv_nsec == 0){

   617         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "DT#%d-%2.2d-%2.2d-%2.2d:%2.2d:%2.2d",

   616         res.len = snprintf((char*)&res.body, STR_MAX_LEN, "DT#%d-%2.2d-%2.2d-%2.2d:%2.2d:%2.2d",

   618                  broken_down_time.tm_year,

   617                  broken_down_time.tm_year,