- format = (const char *)((size_t)format | ((uint64_t)flag[0] << 56) | ((uint64_t)flag[1] << 48));
- extern void lwt_trace_i (const char *format, size_t value1, size_t value2);
- lwt_trace_i(format, value1, value2);
+ uint64_t f = ((uint64_t)(size_t)format | ((uint64_t)flag[0] << 56) | ((uint64_t)flag[1] << 48));
+ extern void lwt_trace_i (uint64_t format, size_t value1, size_t value2);
+ lwt_trace_i(f, value1, value2);