pub const EXC_GUARD: c_uint = 12;