circuitpython/tests/bytecode/mp-tests/fun1.py