void clock_timer_init3(void)
initializes a clock timer
void TIMER3B_Handler(void)
handles interrupts
void send_pulse()
sends a pulse to the ping sensor
int ping_read()
reads the response pulse from the ping sensor
double time2dist(int time)
convert a sonar pulse width time to a distance
void ping_init()
initializes ping sensor