Testing and debugging BPFÂķ