+static char *
+table_format_timestamp__(void)
+{
+ return xastrftime_msec("%Y-%m-%d %H:%M:%S.###", time_wall_msec(), true);
+}
+
+static void
+table_print_timestamp__(const struct table *table)
+{
+ if (table->timestamp) {
+ char *s = table_format_timestamp__();
+ puts(s);
+ free(s);
+ }
+}
+