362 *(dst++) = *c;
363 }
364 *(dst++) = '\0';
365 return buf;
366 }
367
368 void SharkCompiler::print_timers() {
369 // do nothing
370 }