+int ds_get_preprocessed_line(struct ds *, FILE *, int *line_number);
+int ds_get_test_line(struct ds *, FILE *);
+
+void ds_put_strftime_msec(struct ds *, const char *template, long long int when,
+ bool utc);
+char *xastrftime_msec(const char *template, long long int when, bool utc);