RUMP_SYS_RENAME_SENDMMSG
int rump_sys_sendmmsg(int, struct mmsghdr *, unsigned int, unsigned int) __RENAME(RUMP_SYS_RENAME_SENDMMSG);
#ifndef RUMP_SYS_RENAME_SENDMMSG