// C++ code
// Author: Mancs

// global variables
int pushButton = 3;
int redLED = 2;
int buttonState = 0;

void setup()
{
  pinMode(pushButton, INPUT_PULLUP);
  pinMode(redLED, OUTPUT);
}

void loop()
{
	// read the state of the pushbutton value
  	buttonState = digitalRead(pushButton);
  	
  if (buttonState == 1){
    	redLedOn(redLED);
  } else {
      redLedOff(redLED);
  }
}

void redLedOn(int pin){
  digitalWrite(pin, LOW);
}

void redLedOff(int pin){
  digitalWrite(pin, HIGH);
}