RUMP_SYS_RENAME___GETLOGIN
#ifndef RUMP_SYS_RENAME___GETLOGIN
int rump_sys___getlogin(char *, size_t) __RENAME(RUMP_SYS_RENAME___GETLOGIN);