go test fuzz v1 uint64(1) uint64(767)