Learning Rust the Hard Way: eBPF as a Forcing Function