Symbol: to_usdev