char * get_time(timer) BAUX?.C Any Level
 
char timer The number of the timer. There are four timers, so the values 0 through 3 are allowed.
 
get_time() measures the elapsed time since set_time() was called and returns it as a pointer to an internal string. 
The format is hours:minutes:seconds.tenths.