const int led1 = 13;
const int led2 = 10;
const int button1 = 2; //boton verde
const int button2 = 3;//boton rojo

void setup() 
{
  pinMode(led1, OUTPUT);
  pinMode(led2, OUTPUT);
  pinMode(button1, INPUT);
  pinMode(button2, INPUT);
}

void loop() 
{
 while (digitalRead(button1) == HIGH) 
   {
    digitalWrite(led1, HIGH);
   }
  
 digitalWrite(led1, LOW);

 while (digitalRead(button2) == HIGH) 
  {
    digitalWrite(led2, HIGH);
  }
  digitalWrite(led2, LOW);
}