void setup() {
  // put your setup code here, to run once:
pinMode(8, OUTPUT);
pinMode(9, INPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
while(digitalRead(9)==HIGH) {digitalWrite(8, HIGH);}
digitalWrite(8, LOW);
}