RUMP_SYS_RENAME_FLISTXATTR
int rump_sys_flistxattr(int, char *, size_t) __RENAME(RUMP_SYS_RENAME_FLISTXATTR);
#ifndef RUMP_SYS_RENAME_FLISTXATTR