#ifndef __TIME_H__ #define __TIME_H__ #include "types.h" Size clock_get_us( void ); f64 clock_get_s_hires( void ); #endif /* __TIME_H__ */