#ifndef UTIL_TIME_H
#define UTIL_TIME_H
/**
* Get the current time, in milliseconds.
*/
uint32_t get_current_time_msec(void);
#endif