Source code of "python-ev3dev/11-wait-for-button.py"