NUM_BRANCH_INSNS_RETIRED
GUEST_ASSERT(count >= NUM_BRANCH_INSNS_RETIRED);
GUEST_ASSERT_EQ(count, NUM_BRANCH_INSNS_RETIRED);