RUMP_SYS_RENAME___GETCWD
#ifndef RUMP_SYS_RENAME___GETCWD
int rump_sys___getcwd(char *, size_t) __RENAME(RUMP_SYS_RENAME___GETCWD);