Symbol: to_ssh_rtl