RUMP_SYS_RENAME_READLINK
#ifndef RUMP_SYS_RENAME_READLINK
ssize_t rump_sys_readlink(const char *, char *, size_t) __RENAME(RUMP_SYS_RENAME_READLINK);