RUMP_SYS_RENAME_GETSOCKOPT2
#ifndef RUMP_SYS_RENAME_GETSOCKOPT2
int rump_sys_getsockopt2(int, int, int, void *, socklen_t *) __RENAME(RUMP_SYS_RENAME_GETSOCKOPT2);