go test fuzz v1 uint64(5) uint64(507)