#include <stdint.h> // uint64_t

#define BADWOLF_CTX_SIZ 7
void fmt_context_id(uint64_t num, char *out);