GUEST_ERROR_STRING
test_assert(false, (const char *)(ucall).args[GUEST_ERROR_STRING], \
WRITE_ONCE(uc->args[GUEST_ERROR_STRING], (uint64_t)(exp));