ctf_print_timestamp(stderr, stream, stream->prev_timestamp);
fprintf(stderr, "] and [");
ctf_print_timestamp(stderr, stream, stream->prev_timestamp_end);
ctf_print_timestamp(stderr, stream, stream->prev_timestamp);
fprintf(stderr, "] and [");
ctf_print_timestamp(stderr, stream, stream->prev_timestamp_end);