Symbol: kex_derive_keys