Symbol: to_cec_adapter