High-level tracing language for eBPF
