INVALID_EC
uint64_t expected_ec = INVALID_EC;
expected_ec = INVALID_EC;
GUEST_ASSERT(ec != INVALID_EC); \
GUEST_ASSERT(expected_ec == INVALID_EC); \