pub type psa_tls12_prf_key_derivation_state_t = u32;