pub const HAVE__BUILTIN_UNREACHABLE: u32 = 1;