int rled=19, gled=12; //rled=red led, gled=green led

void setup() {
  // put your setup code here, to run once:
  pinMode(rled, OUTPUT);
  pinMode(gled, OUTPUT);
  
}

void loop() {
  // put your main code here, to run repeatedly:
  int red(int rled);{
  digitalWrite(rled, HIGH);
  delay(2000);
  digitalWrite(rled, LOW);
  }
  
  int green(int gled);{
  digitalWrite(gled, HIGH);
  delay(2000);
  digitalWrite(gled, LOW);
  }
int red(int rled);
int green(int gled);

  
}