Symbol: to_lima_dev