Symbol: kex_proposal_tests