RUMP_SYS_RENAME_SOCKET
int rump_sys_socket(int, int, int) __RENAME(RUMP_SYS_RENAME_SOCKET);
#ifndef RUMP_SYS_RENAME_SOCKET