/* Defined in aio_write.c.  */