pub const PT_HP_OPT_ANNOT: u32 = PT_LOOS + 0x12; // 1_610_612_754u32