bpf_semi_rand_get
uint64_t val = bpf_semi_rand_get();
insn[i++] = BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, bpf_semi_rand_get(), 2);