GUEST_FILE
(const char *)(ucall).args[GUEST_FILE], \
WRITE_ONCE(uc->args[GUEST_FILE], (uint64_t)(file));