I ran a sample ebpf code with void as return type and calling bpf_printk before returning. I was expecting this code to be rejected by the verifier. However, I was able to successfully load it into the kernel and it kind of damaged my networking subsystem as it was related to xdp and had to restart my machine to get the networking working again. Is this normal?