Use a pushbutton to control an LED.