float score = 0.0;
 for (int i = 0; i < 8; i++) {
    int c0 = __builtin_popcount(won_boards[0] & WINS[i]);
    int c1 = __builtin_popcount(won_boards[1] & WINS[i]);
    score += W_SCORE * (c0 - c1);
}