[Lab07]: Zero counter.