file_stream->parent.events_discarded);
ctf_print_timestamp(stderr, &file_stream->parent,
file_stream->parent.prev_timestamp);
fprintf(stderr, "] and [");
ctf_print_timestamp(stderr, &file_stream->parent,
file_stream->parent.prev_timestamp_end);
file_stream->parent.events_discarded);
ctf_print_timestamp(stderr, &file_stream->parent,
file_stream->parent.prev_timestamp);
fprintf(stderr, "] and [");
ctf_print_timestamp(stderr, &file_stream->parent,
file_stream->parent.prev_timestamp_end);