RUMP_SYS_RENAME_GETSOCKOPT
#ifndef RUMP_SYS_RENAME_GETSOCKOPT
int rump_sys_getsockopt(int, int, int, void *, socklen_t *) __RENAME(RUMP_SYS_RENAME_GETSOCKOPT);