Symbol: BPF_F_TEST_RND_HI32