MAX_FULL_SHEAVES
if (data_race(barn->nr_full) >= MAX_FULL_SHEAVES)
if (!barn || data_race(barn->nr_full) >= MAX_FULL_SHEAVES ||
if (data_race(barn->nr_full) < MAX_FULL_SHEAVES) {