pub const __itt_section_write: u32 = 2147483648;