RUMP_SYS_RENAME_AIO_WRITE
int rump_sys_aio_write(struct aiocb *) __RENAME(RUMP_SYS_RENAME_AIO_WRITE);
#ifndef RUMP_SYS_RENAME_AIO_WRITE