Symbol: to_sm_device