RUMP_SYS_RENAME___SETLOGIN
#ifndef RUMP_SYS_RENAME___SETLOGIN
int rump_sys___setlogin(const char *) __RENAME(RUMP_SYS_RENAME___SETLOGIN);