+static void show_depth(FILE *f, depth_t depth, const char *pre, const char *post)
+{
+ if (depth.mm)
+ fprintf(f, "%s%u.%03u%s", pre, FRACTION(depth.mm, 1000), post);
+}
+
+static void show_duration(FILE *f, duration_t duration, const char *pre, const char *post)
+{
+ if (duration.seconds)
+ fprintf(f, "%s%u:%03u%s", pre, FRACTION(duration.seconds, 60), post);
+}
+
+static void show_pressure(FILE *f, pressure_t pressure, const char *pre, const char *post)
+{
+ if (pressure.mbar)
+ fprintf(f, "%s%u.%03u%s", pre, FRACTION(pressure.mbar, 1000), post);
+}
+