pub const PT_IA_64_HP_HSL_ANOT: u32 = 1610612755;