Source code of "python-ev3dev/28-function-single-value-return.py"