RUMP_SYS_RENAME_AIO_READ
int rump_sys_aio_read(struct aiocb *) __RENAME(RUMP_SYS_RENAME_AIO_READ);
#ifndef RUMP_SYS_RENAME_AIO_READ