#pragma once
#include <stdint.h>

int32_t ticks_ms();
int32_t ticks_add(int32_t t1, int32_t delta);
int32_t ticks_diff(int32_t t1, int32_t t2);