pub const XI_TO_Q_MINUS_1_OVER_2: Fq2;