int button_value = 0;
int button_pin = 12;
void setup() {
  // put your setup code here, to run once:
  pinMode(button_pin, INPUT_PULLUP);
  pinMode(10, OUTPUT);            // use this as a ground
  // provide ground for the button
  digitalWrite(10, LOW);
  pinMode(30, OUTPUT);            // red LED
  pinMode(34, OUTPUT);            // yellow LED
  pinMode(42, OUTPUT);            // green LED
  pinMode(31, OUTPUT);            // use this as a ground
  pinMode(35, OUTPUT);            // use this as a ground
  pinMode(43, OUTPUT);            // use this as a ground
  // provide grounds for the LEDs
  digitalWrite(31, LOW);
  digitalWrite(35, LOW);
  digitalWrite(43, LOW);       
  //
  digitalWrite(42, HIGH);         // spec: green LED goes on with power on or reset
}

void loop() {
  // put your main code here, to run repeatedly:
button_value = digitalRead(button_pin);
  if ( button_value == 0)
  {
  digitalWrite(42, LOW);          // button pressed: green off
  digitalWrite(34, HIGH);         // yellow LED goes on
  delay(2000);                    // yellow LED stays for 2 seconds
  digitalWrite(34, LOW);          // yellow LED off
  digitalWrite(30, HIGH);         // red LED goes on
  delay(5000);                    // red LED stays for 5 seconds
  digitalWrite(30, LOW);          // red LED off
  digitalWrite(42, HIGH);         // green LED goes on
  } 
}