Source code of "python-ev3dev/05-hello-world-stdout.py"