Red LEDs as GPIO module