initial begin
    counter = 0;
    led_state = 0;
end