Source code of "python-ev3dev/10-read-button-state.py"