RUMP_SYS_RENAME_TRUNCATE
#ifndef RUMP_SYS_RENAME_TRUNCATE
int rump_sys_truncate(const char *, off_t) __RENAME(RUMP_SYS_RENAME_TRUNCATE);