Testing and debugging BPF