Define Counter1 Reset Tick | x1 x2 x3 x4 x5 x6 x7;
  Or aa ONE x1;
  Or aa ONE x2;
  Or aa ZERO x3;
  Or aa ONE x4;
  Or aa ONE x5;
  Or aa ONE x6;
  Or aa ONE x7;
Endef;