RUMP_SYS_RENAME_FKTRACE
#ifndef RUMP_SYS_RENAME_FKTRACE
int rump_sys_fktrace(int, int, int, pid_t) __RENAME(RUMP_SYS_RENAME_FKTRACE);