RUMP_SYS_RENAME_LISTEN
#ifndef RUMP_SYS_RENAME_LISTEN
int rump_sys_listen(int, int) __RENAME(RUMP_SYS_RENAME_LISTEN);