#define race_0 (read_hist[0] && write_hist[0])
#define race_1 (read_hist[1] && write_hist[1])
#define race_2 (read_hist[2] && write_hist[2])


/* [] !race_0  */