pub const psa_jpake_round_PSA_JPAKE_FINISHED: psa_jpake_round = 2;