Constant psa_jpake_round_PSA_JPAKE_FINISHED 

pub const psa_jpake_round_PSA_JPAKE_FINISHED: psa_jpake_round = 2;