go test fuzz v1 []byte("00000000\x800000000000")