Switch to bpf_args and bpf_ctx. All tests pass.