pub const PT_IA_64_HP_HSL_ANOT: u32 = PT_LOOS + 0x13; // 0x6000_0013u32