gchar * gnc_date_timestamp (void) { return gnc_print_time64(gnc_time(nullptr), "%Y%m%d%H%M%S"); }
char* gnc_ctime (const time64 *secs) { return gnc_print_time64(*secs, "%a %b %d %H:%M:%S %Y"); }
char * timespec_sec_to_string(const Timespec *ts) { return gnc_print_time64(ts->tv_sec, "%Y-%m-%d %H:%M:%S %q"); }