timing.h os specific functionality outsourced to internal headers