aio_read_events_ring(): make a bit more readable