RUMP_SYS_RENAME_KTRACE
#ifndef RUMP_SYS_RENAME_KTRACE
int rump_sys_ktrace(const char *, int, int, pid_t) __RENAME(RUMP_SYS_RENAME_KTRACE);