counter <= counter + 1;