circuitpython/tests/basics/fun-defargs.py