const int buttonPin = PA7; 
const int redLedPin = PA3;
const int greenLedPin = PB2;


// the setup function runs once when you press reset or power the board
void setup() {
  // initialize the red pin as an output.
  pinMode(redLedPin, OUTPUT);
}

// the loop function runs over and over again forever
void loop() {
  digitalWrite(redLedPin, HIGH);   // turn the redLED on (HIGH is the voltage level)
  delay(1000);                       // wait for a second
  digitalWrite(redLedPin, LOW);    // turn the LED off by making the voltage LOW
  delay(1000);                       // wait for a second
}