Symbol: to_ec_dev