#pragma once #include uint32_t port_get_ticket(); uint32_t port_haspassedms(uint32_t ticket); uint32_t port_delay_ms(uint32_t ms);