circuitpython/tests/internal_bench/loop_count-4-while_down_gt.py