RUMP_SYS_RENAME_MOUNT
int rump_sys_mount(const char *, const char *, int, void *, size_t) __RENAME(RUMP_SYS_RENAME_MOUNT);
#ifndef RUMP_SYS_RENAME_MOUNT