micropython-lib/machine
..
machine
example_timer.py