#ifndef __TIME_H
#define __TIME_H

void time_tick(void);

int time_get_ticks(void);

#endif