pub type __itt_clock_domain = ___itt_clock_domain;