RUMP_SYS_RENAME_READ
#ifndef RUMP_SYS_RENAME_READ
ssize_t rump_sys_read(int, void *, size_t) __RENAME(RUMP_SYS_RENAME_READ);