#include void init_clock(); void init_usb_clock();