RUMP_SYS_RENAME_FTRUNCATE
#ifndef RUMP_SYS_RENAME_FTRUNCATE
int rump_sys_ftruncate(int, off_t) __RENAME(RUMP_SYS_RENAME_FTRUNCATE);