pub type psa_jpake_round_t = c_uint;