RUMP_SYS_RENAME_SHUTDOWN
#ifndef RUMP_SYS_RENAME_SHUTDOWN
int rump_sys_shutdown(int, int) __RENAME(RUMP_SYS_RENAME_SHUTDOWN);