RUMP_SYS_RENAME_MODCTL
#ifndef RUMP_SYS_RENAME_MODCTL
int rump_sys_modctl(int, void *) __RENAME(RUMP_SYS_RENAME_MODCTL);