Source code of "python-ev3dev/15-read-touch-sensor.py"