arithmetic-race server ok