go test fuzz v1 []byte(" \x00\x00\x00\x8000000000000\x000000000000000000000")