char led_red = 23;
char led_yellow = 19;
char led_green = 18;

char pb_blue = 25;
char pb_green = 27;

void setup() {
  // put your setup code here, to run once:
  pinMode(led_red, OUTPUT);
  pinMode(led_yellow, OUTPUT);
  pinMode(led_green, OUTPUT);
  pinMode(pb_blue, INPUT);
  pinMode(pb_green, INPUT);
  Serial.begin(115200);
}

void loop() {
  // put your main code here, to run repeatedly:
  // Read pin 25 (blue pb) and print out the value
  char val_pb_blue;

  val_pb_blue = digitalRead(pb_blue);
  Serial.print("Blue PB = "); Serial.println(val_pb_blue, DEC);

}