go test fuzz v1 []byte("\x00000\x00\x00\x04000000000\x800000000\xc0")