pub const PT_HP_CORE_STACK: u32 = PT_LOOS + 0x7; // 0x6000_0007u32