#include "util.h" int main(int argc, char **argv) { test_time(); return 0; }