1 #include <stdint.h>
2 struct wc_lines { int err; intmax_t lines; intmax_t bytes; };
3 struct wc_lines wc_lines_avx2 (int);
4