pub const HAVE__SETJMP: u32 = 1;