Constant __once_flag_defined 

pub const __once_flag_defined: u32 = 1;