"12.5.14 UNIMPLEMENTED"
"12.5.15 UNIMPLEMENTED"
"12.5.16 UNIMPLEMENTED"
"12.5.17 UNIMPLEMENTED"
"12.5.18 UNIMPLEMENTED"
"12.5.2 UNIMPLEMENTED"
"12.5.3 UNIMPLEMENTED"
"12.5.4 UNIMPLEMENTED"
"12.5.5 UNIMPLEMENTED"
"12.5.6 UNIMPLEMENTED"
"12.5.7 UNIMPLEMENTED"
"12.5.8 UNIMPLEMENTED"
"12.5.9 UNIMPLEMENTED"
"13.1.1 UNIMPLEMENTED"
"13.1.10 UNIMPLEMENTED"
"13.1.11 UNIMPLEMENTED"
"13.1.12 UNIMPLEMENTED"
"13.1.13 UNIMPLEMENTED"

    }
    int[][] expected = new int[4][256];
    for (int b = 0; b < 4; ++b) {
      for (int bit = 128; bit != 0; bit >>= 1) {
        expected[b][bit] = next;
        next = advanceOneBit(next);
      }
    }
    for (int b = 0; b < 4; ++b) {
      expected[b][0] = 0;
      for (int bit = 2; bit < 256; bit <<= 1) {
        for (int i = bit + 1; i < (bit << 1); i++) {

	if pkgpath == "" {
		return nil, fmt.Errorf("invalid empty package path")
	}
	x := &CoverageMetaDataBuilder{
		tmp: make([]byte, 0, 256),
		h:   md5.New(),
	}
	x.stab.InitWriter()
	x.stab.Lookup("")
	x.pkgpath = x.stab.Lookup(pkgpath)
	x.pkgname = x.stab.Lookup(pkgname)
	x.modpath = x.stab.Lookup(modulepath)
	io.WriteString(x.h, pkgpath)

	SYS_SET_TID_ADDRESS              = 4252
	SYS_RESTART_SYSCALL              = 4253
	SYS_FADVISE64                    = 4254
	SYS_STATFS64                     = 4255
	SYS_FSTATFS64                    = 4256
	SYS_TIMER_CREATE                 = 4257
	SYS_TIMER_SETTIME                = 4258
	SYS_TIMER_GETTIME                = 4259
	SYS_TIMER_GETOVERRUN             = 4260
	SYS_TIMER_DELETE                 = 4261

}

func testPosetOps(t *testing.T, unsigned bool, ops []posetTestOp) {
	var v [1512]*Value
	for i := range v {
		v[i] = new(Value)
		v[i].ID = ID(i)
		if i >= 1000 && i < 1256 {
			v[i].Op = OpConst64
			v[i].AuxInt = int64(i - 1000 - 128)
		}
		if i >= 1256 && i < 1512 {
			v[i].Op = OpConst64
			v[i].AuxInt = int64(i - 1000 - 256)
		}
	}

	po := newPoset()
	po.SetUnsigned(unsigned)
	for idx, op := range ops {

	SYS_SET_TID_ADDRESS              = 4252
	SYS_RESTART_SYSCALL              = 4253
	SYS_FADVISE64                    = 4254
	SYS_STATFS64                     = 4255
	SYS_FSTATFS64                    = 4256
	SYS_TIMER_CREATE                 = 4257
	SYS_TIMER_SETTIME                = 4258
	SYS_TIMER_GETTIME                = 4259
	SYS_TIMER_GETOVERRUN             = 4260
	SYS_TIMER_DELETE                 = 4261

				NewPageCache(PageBase(BaseChunkIdx, 128), ^uint64(0), 0),
				NewPageCache(PageBase(BaseChunkIdx, 192), ^uint64(0), 0),
			},
			afterAlloc: map[ChunkIdx][]BitRange{
				BaseChunkIdx: {{0, 256}},
			},
		},
		"ManyArena": {
			beforeAlloc: map[ChunkIdx][]BitRange{
				BaseChunkIdx:     {{0, PallocChunkPages}},
				BaseChunkIdx + 1: {{0, PallocChunkPages}},

		addXor(dst[36:40], src[36:40], x9, c9)
		addXor(dst[40:44], src[40:44], x10, c10)
		addXor(dst[44:48], src[44:48], x11, c11)
		addXor(dst[48:52], src[48:52], x12, s.counter)
		addXor(dst[52:56], src[52:56], x13, c13)
		addXor(dst[56:60], src[56:60], x14, c14)
		addXor(dst[60:64], src[60:64], x15, c15)

		s.counter += 1

		src, dst = src[blockSize:], dst[blockSize:]
	}
}

// same values for parent as the original algorithm.
func (f *Func) dfsOrig(entry *Block, succFn linkedBlocks, semi, vertex, label, parent []ID) ID {
	n := ID(0)
	s := make([]*Block, 0, 256)
	s = append(s, entry)

	for len(s) > 0 {
		v := s[len(s)-1]
		s = s[:len(s)-1]
		// recursing on v

		if semi[v.ID] != 0 {
			continue // already visited
		}
		n++
		semi[v.ID] = n

							Prefix: pointer.String(""),
						},
					},
				},
				SupportedSigningAlgs: []string{"PS256"},
				now:                  func() time.Time { return now },
			},
			signingKey: loadRSAPrivKey(t, "testdata/rsa_1.pem", jose.PS256),
			pubKeys: []*jose.JSONWebKey{
				loadRSAKey(t, "testdata/rsa_1.pem", jose.PS256),
			},
			claims: fmt.Sprintf(`{
				"iss": "https://auth.example.com",
				"aud": "my-client",