RUMP_SYS_RENAME_WRITE
#ifndef RUMP_SYS_RENAME_WRITE
ssize_t rump_sys_write(int, const void *, size_t) __RENAME(RUMP_SYS_RENAME_WRITE);