micropython/tests/basics/fun_name.py