Constant psa_jpake_round_PSA_JPAKE_SECOND 

pub const psa_jpake_round_PSA_JPAKE_SECOND: psa_jpake_round = 1;