Use a pushbutton to control an LED. 