- fprintf(file, "%09llu %d %s ", ((uint64_t)r->timestamp - offset) >> 6, thread_id, s);
- const char *format = (const char *)(((uint64_t)r->format << 16) >> 16); // strip out the embedded flags
+ fprintf(file, "%09llu %d %s ", ((uint64_t)r->timestamp - offset) >> 5, thread_id, s);
+ const char *format = (const char *)((size_t)r->format & MASK(48)); // strip out the embedded flags