Symbol: to_stm_device