1 2 3 4
#include <stdint.h> // uint64_t #define BADWOLF_CTX_SIZ 7 void fmt_context_id(uint64_t num, char *out);