extern double dtime_now (void);

void timestamp_now (char *result, int result_size, int show_ms);

void timestamp_user_format (char *result, int result_size, char *user_format);

void timestamp_filename (char *result, int result_size);