#define buttonpin 8;
#define redleadPin 9;

int buttonState = 1

void setup () {
  pinMode(buttonpin, INPUT);
  pinMode(redleadPin, OUTPUT);
}