exec_prog
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 17);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3039531);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0u-777u);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX - 5);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 13);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 2) == 40);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 6) == 55);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 391);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3039531);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);