pub const EXC_MASK_GUARD: c_uint = 4096;