
       char *avt_PrintWatch(char *name);

DDEESSCCRRIIPPTTIIOONN
       Returns  a  string  with the value of a timer; the timer must have been
       started

AARRGGUUMMEENNTTSS
       nnaammee          Name of the timer to print

       EEXXAAMMPPLLEE       _a_v_t___P_r_i_n_t_W_a_t_c_h _"_C_P_U___T_I_M_E_"

