1  int bug(unsigned *ready, unsigned u) {
       2    return __atomic_fetch_and (ready, ~u, 0) & u;
       3  }