const clock_t = system.clock_t;