Tools and mechanisms to debug BPF programs