char tmp = buf[timelen];
snprintf(buf, timelen + 1, "%16llu", _os_debug_log_ticks_since_start());
buf[timelen] = tmp; // snprintf's null
char tmp = buf[timelen];
snprintf(buf, timelen + 1, "%16llu", _os_debug_log_ticks_since_start());
buf[timelen] = tmp; // snprintf's null