Symbol: to_sh_dev