/* Time module header file */ void TMXinit( int n ); void TMXdestroy( void ); void TMXpush( void ); double TMXpop( void ); double TMXframeRate( double *frame_time ); void TMXsetMarker( void ); double TMXtimeStamp( void );