RUMP_SYS_RENAME_FCHROOT
#ifndef RUMP_SYS_RENAME_FCHROOT
int rump_sys_fchroot(int) __RENAME(RUMP_SYS_RENAME_FCHROOT);