Source code of "python-ev3dev/21-write-to-file.py"