extern unsigned char bpf_kernel_o[];
extern unsigned int bpf_kernel_o_len;