#include "../../cxc/microtime.c"
void microtime_setup()
{
  utime_setup();
}