pub const __bool_true_false_are_defined: u32 = 1;