Symbol: compat_kex_proposal