#include void init_clock();