RUMP_SYS_RENAME_READLINKAT
ssize_t rump_sys_readlinkat(int, const char *, char *, size_t) __RENAME(RUMP_SYS_RENAME_READLINKAT);
#ifndef RUMP_SYS_RENAME_READLINKAT