RUMP_SYS_RENAME_UTRACE
#ifndef RUMP_SYS_RENAME_UTRACE
int rump_sys_utrace(const char *, void *, size_t) __RENAME(RUMP_SYS_RENAME_UTRACE);