pub const portHAS_STACK_OVERFLOW_CHECKING: u32 = 0;