#include <stdint.h> uint32_t port_haspassedms(uint32_t ticket);
#include <stdint.h>
uint32_t port_haspassedms(uint32_t ticket);