Symbol: to_atm_dev