#include <pic.h>
#include "tempo.h"
unsigned int tempo0_cpt;
unsigned char tempo0_state;
void init_tempo0(void)
     {
         tempo0_state = TEMPO_STOP ;
     }

void start_tempo0(unsigned int ms)
     {
       tempo0_state = TEMPO_STOP ;
       tempo0_cpt=ms/MS_PER_TICKS ;
       tempo0_state = TEMPO_PENDING ;
     }
unsigned char tempo0_done(void)
     {
      if ( tempo0_state == TEMPO_DONE )
       {
          return 1 ;
       }
     else
       {
         return 0 ;
       }
     }