stream->events_discarded);
ctf_text_print_timestamp(stderr, pos, stream, stream->prev_timestamp);
fprintf(stderr, "] and [");
stream->events_discarded);
ctf_text_print_timestamp(stderr, pos, stream, stream->prev_timestamp);
fprintf(stderr, "] and [");