#include <stdint.h>

unsigned long millis() {
  return 0;
}

uint64_t get_timestamp(unsigned long millis) {
  return 0;
}

uint64_t millis64(void) {
  return 0;
}