Symbol: bpf_assert_with