Symbol: add_to_timeval