RUMP_SYS_RENAME_POSIX_FALLOCATE
int rump_sys_posix_fallocate(int, off_t, off_t) __RENAME(RUMP_SYS_RENAME_POSIX_FALLOCATE);
#ifndef RUMP_SYS_RENAME_POSIX_FALLOCATE