RUMP_SYS_RENAME_GETSOCKNAME
#ifndef RUMP_SYS_RENAME_GETSOCKNAME
int rump_sys_getsockname(int, struct sockaddr *, socklen_t *) __RENAME(RUMP_SYS_RENAME_GETSOCKNAME);