#include "zdelay.h"

uint32_t zget_ticket(void) { return HAL_GetTick(); }