1// SPDX-License-Identifier: GPL-2.0
 2#include <traceevent/trace-seq.h>
 3
 4int main(void)
 5{
 6	int rv = 0;
 7	struct trace_seq s;
 8	trace_seq_init(&s);
 9	rv += !(s.state == TRACE_SEQ__GOOD);
10	trace_seq_destroy(&s);
11	return rv;
12}