Source code of "python-ev3dev/03-blink-leds.py"