/* Defined in aio_read.c.  */