#pragma once

#include "stm32f4xx_hal.h"

uint32_t zget_ticket(void);