// C++ code

void setup()
{
  pinMode(7, INPUT_PULLUP);
  pinMode(13, OUTPUT);
  Serial.begin(9600);
}
int push = 0;
unsigned long timing;
void loop()
{
  if(millis() - timing < 10)
  {
    
  }
  if (digitalRead(7) == LOW && push == 0){
    digitalWrite(13, HIGH);
    Serial.println("push1");
    delay (10);
    push = 1;
  } 
  if (digitalRead(7) == HIGH && push == 1)
  {
    Serial.println("release1");
    delay (10);
    push = 2;
  }
  if (digitalRead(7) == LOW && push == 2)
  {
    digitalWrite(13, LOW);
    Serial.println("push2");
    delay (10);
    push = 3;
  }
  if (digitalRead(7) == HIGH && push == 3)
  {
    Serial.println("release2");
    delay (10);
    push = 0;
  }
}