Constant __jmp_buf_tag_defined

Source
pub const __jmp_buf_tag_defined: u32 = 1; // 1u32