# timer
Cross-platform, high precision timer.