RUMP_SYS_RENAME_AIO_RETURN
int rump_sys_aio_return(struct aiocb *) __RENAME(RUMP_SYS_RENAME_AIO_RETURN);
#ifndef RUMP_SYS_RENAME_AIO_RETURN