Source code of "python-ev3dev/16-read-ir-sensor.py"