Symbol: XE_OA_FORMAT_PEC32u64_G1