counter testbench doesn't work