An exercise in programming, implementing Antonio's single queue server