int led_verde = 32;
int led_vermelho = 25;
int botao_verde = 16;
int botao_vermelho = 15;
boolean leitura_verde = 0;
boolean leitura_vermelho = 0;

void setup() {
  pinMode(botao_verde, INPUT);
  pinMode(botao_vermelho, INPUT);
  pinMode(led_verde, OUTPUT);
  pinMode(led_vermelho, OUTPUT);
  
}

void loop() {
  leitura_verde = digitalRead(botao_verde);
  leitura_vermelho = digitalRead(botao_vermelho);
  digitalWrite(led_verde, leitura_verde);
  digitalWrite(led_vermelho, leitura_vermelho);
}