#ifndef __TIME33_H__
#define __TIME33_H__


#include "types33.h"


Size clock33_get_us( void );
f64 clock33_get_s_hires( void );


#endif /* __TIME33_H__ */