Symbol: ecxkem_decapsulate