circuitpython/tests/pyb/timer.py