print_timestamp_wall(pretty, begin_clock_snapshot, false);
g_string_append(pretty->string, "] and [");
print_timestamp_wall(pretty, end_clock_snapshot, false);
print_timestamp_wall(pretty, begin_clock_snapshot, false);
g_string_append(pretty->string, "] and [");
print_timestamp_wall(pretty, end_clock_snapshot, false);