EF(count_0==1 *write==1);
EF(count_1==1 *write==1);
EF(count_2==1 *write==1);
EF(count_3==1 *write==1);
EF(count_4==1 *write==1);