UPPER_BOUND
GUEST_ASSERT(cnt[3] > 0 && cnt[3] < UPPER_BOUND);
GUEST_ASSERT(cnt[0] > EXPECTED_CYCLES_MIN && cnt[0] < UPPER_BOUND);
GUEST_ASSERT(cnt[1] > EXPECTED_INSTR_MIN && cnt[1] < UPPER_BOUND);
GUEST_ASSERT(cnt[2] > 0 && cnt[2] < UPPER_BOUND);