#include <SoftwareSerial.h>

int red = 12;
int green = 13;
int button = 11;
int buttonState;
int flag;

void setup() {
  // put your setup code here, to run once:
  pinMode(red, OUTPUT);
  pinMode(green, OUTPUT);
  pinMode(button, INPUT);
  flag=1;
  Serial.begin(9600); // Any baud rate should work
}

void loop() {
  // put your main code here, to run repeatedly:
  
  buttonState = digitalRead(button);
  //buttonState = digitalRead(11); //bth r same
  if(buttonState && flag) 
  {
    flag = 0;
    digitalWrite(red, HIGH);
    digitalWrite(green, HIGH);
    buttonState = 0;
  }
  else if(buttonState && !flag)
  {
    digitalWrite(red, LOW);
    digitalWrite(green, LOW);
    flag=1;
    
  }
  printf("button state = %d\n", buttonState);
  delay(100);
}