RUMP_SYS_RENAME_SOCKETPAIR
#ifndef RUMP_SYS_RENAME_SOCKETPAIR
int rump_sys_socketpair(int, int, int, int *) __RENAME(RUMP_SYS_RENAME_SOCKETPAIR);