#include "time.h"
#include <stdint.h>

uint64_t com_timer_count_ns(void) { return 0; }

void com_timer_profile(uint64_t starttime, const char *what) {
  (void)starttime;
  (void)what;
}